32 citations · 43 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
Building secure distributed applications the DECENT way
Haofan Zheng, Owen Arden
Remote attestation (RA) authenticates code running in trusted execution environments (TEEs), allowing trusted code to be deployed even on untrusted hosts. However, trust relationsh…
cs.CR2020★ 2 cited
First-Order Logic for Flow-Limited Authorization
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti +2
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize…