Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Vassena, Marco
43  Ergebnisse:
Personensuche X
?
1

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe C..:

Michael, Alexandra E. ; Gollamudi, Anitha ; Bosamiya, Jay...
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 425-454 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Automatically eliminating speculative leaks from cryptograp..:

Vassena, Marco ; Disselkoen, Craig ; Gleissenthall, Klaus von...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Automatically eliminating speculative leaks from cryptograp..:

Vassena, Marco ; Disselkoen, Craig ; Gleissenthall, Klaus von...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
4

Proceedings of the 15th Workshop on Programming Languages a..:

Stoughton, Alley ; Vassena, Marco , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Short Paper: Modular Black-box Runtime Verification of Secu..:

, In: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security,
Morio, Kevin ; Jackson, Dennis ; Vassena, Marco. - p. 19-22 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

PLAS'20: 15th Workshop on Programming Languages and Analysi..:

, In: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security,
Stoughton, Alley ; Vassena, Marco - p. 2151-2152 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Session details: Invited Talk I:

, In: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security,
Vassena, Marco , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Securing Asynchronous Exceptions:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Cortinas, Carlos Tome ; Vassena, Marco ; Russo, Alejandro - p. 214-229 , 2020
Link: https://doi.org/10.1109/..
 
?
9

From fine- to coarse-grained dynamic information flow contr..:

Vassena, Marco ; Russo, Alejandro ; Garg, Deepak..
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-31 , 2019
Link: https://doi.org/10.1145/..
 
?
10

Foundations for Parallel Information Flow Control Runtime S..:

, In: Lecture Notes in Computer Science; Principles of Security and Trust,
Vassena, Marco ; Soeller, Gary ; Amidon, Peter... - p. 1-28 , 2019
Link: https://doi.org/10.1007/..
 
?
11

From fine- to coarse-grained dynamic information flow contr..:

Vassena, Marco ; Russo, Alejandro ; Garg, Deepak..
Proceedings of the ACM on Programming Languages.  3 (2019)  POPL - p. 1-31 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

MAC A verified static information-flow control library:

Vassena, Marco ; Russo, Alejandro ; Buiras, Pablo.
Journal of Logical and Algebraic Methods in Programming.  95 (2018)  - p. 148-180 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Generic Diff3 for algebraic datatypes:

, In: Proceedings of the 1st International Workshop on Type-Driven Development,
Vassena, Marco - p. 62-71 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

On Formalizing Information-Flow Control Libraries:

, In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security,
Vassena, Marco ; Russo, Alejandro - p. 15-28 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Robust Constant-Time Cryptography:

Kolosick, Matthew ; Shivakumar, Basavesh Ammanaghatta ; Cauligi, Sunjay...
http://arxiv.org/abs/2311.05831.  , 2023
Link: http://arxiv.org/abs/231..
 
1-15