Drăgan, Constantin Cătălin
421  Ergebnisse:
Personensuche X
?
1

Towards End-to-End Verifiable Online Voting: Adding Verifia..:

Alsadi, Mohammed ; Casey, Matthew ; Dragan, Constantin Catalin...
IEEE Transactions on Dependable and Secure Computing.  21 (2024)  4 - p. 3357-3374 , 2024
 
?
2

Machine-Checked Proofs of Accountability: How to sElect Who..:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,
 
?
3

Machine-Checked Proofs of Privacy Against Malicious Boards ..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
 
?
4

TAPESTRY: A De-Centralized Service for Trusted Interaction ..:

Yang, Yifan ; Cooper, Daniel ; Collomosse, John...
IEEE Transactions on Services Computing.  15 (2022)  3 - p. 1385-1398 , 2022
 
?
5

Mechanised Models and Proofs for Distance-Bounding:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
 
?
7

Biometric-Authenticated Searchable Encryption:

, In: Applied Cryptography and Network Security; Lecture Notes in Computer Science,
 
?
8

KYChain : user-controlled KYC data sharing and certifica..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
 
?
11

Bootstrapping Online Trust: Timeline Activity Proofs:

, In: Lecture Notes in Computer Science; Data Privacy Management, Cryptocurrencies and Blockchain Technology,
 
?
15

Hierarchical Attribute-Based Signatures:

, In: Cryptology and Network Security; Lecture Notes in Computer Science,
 
1-15