Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2010.13191
Cited By
v1
v2 (latest)
Giving Semantics to Program-Counter Labels via Secure Effects
25 October 2020
Andrew K. Hirsch
Ethan Cecchetti
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Giving Semantics to Program-Counter Labels via Secure Effects"
2 / 2 papers shown
Title
Nonmalleable Progress Leakage
Ethan Cecchetti
60
0
0
18 May 2025
Compositional Security for Reentrant Applications
Ethan Cecchetti
Siqiu Yao
Haobin Ni
A. Myers
LRM
70
35
0
15 Mar 2021
1
