Personensuche
X
?
3
Euro area sovereign bond risk premia during the Covid-19 pa..
Working paper series, No 2561, May 2021
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
6
Language-Based Web Session Integrity:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
7
Equivalence Properties by Typing in Cryptographic Branching..:
, In:
?
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
8
A monadic framework for relational verification: applied to..:
, In:
?
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security ,
9