Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2001.10630
Cited By
First-Order Logic for Flow-Limited Authorization
28 January 2020
Andrew K. Hirsch
P. Amorim
Ethan Cecchetti
R. Tate
Owen Arden
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"First-Order Logic for Flow-Limited Authorization"
1 / 1 papers shown
Title
Compositional Security for Reentrant Applications
Ethan Cecchetti
Siqiu Yao
Haobin Ni
A. Myers
LRM
70
35
0
15 Mar 2021
1
