Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Events
ACM CCS 2017
Verifying Security Policies in Multi-agent Workflows with Loops
Star
0
Share