Personensuche
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
2
Skolemisation for Intuitionistic Linear Logic:
, In:
?
E-Business and Telecommunications; Communications in Computer and Information Science ,
5
Extended Formal Analysis of the EDHOC Protocol in Tamarin:
, In:
?
Protocols, Strands, and Logic; Lecture Notes in Computer Science ,
8
Security Protocols as Choreographies:
, In:
?
23rd International Symposium on Principles and Practice of Declarative Programming ,
9
Trimming Data Sets: a Verified Algorithm for Robust Mean Es..:
, In:
?
Research Challenges in Information Science; Lecture Notes in Business Information Processing ,
10
Practice and Challenges of (De-)Anonymisation for Data Shar..:
, In:
?
Electronic Voting; Lecture Notes in Computer Science ,
11
Privacy-Preserving Dispute Resolution in the Improved Bingo..:
, In:
?
Electronic Voting; Lecture Notes in Computer Science ,
12
Technical and Socio-Technical Attacks on the Danish Party E..:
, In:
?
Security Standardisation Research; Lecture Notes in Computer Science ,
15