Personensuche
X
?
Provable and Practical Security; Lecture Notes in Computer Science ,
1
Linicrypt in the Ideal Cipher Model:
, In:
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
2
Preimage Awareness in Linicrypt:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
4
Complete and tractable machine-independent characterization..:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
A tier-based typed programming language characterizing Feas..:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
10