Bruni, Alessandro
567  Ergebnisse:
Personensuche X
?
2

Skolemisation for Intuitionistic Linear Logic:

, In: Automated Reasoning; Lecture Notes in Computer Science,
 
?
 
?
5

Extended Formal Analysis of the EDHOC Protocol in Tamarin:

, In: E-Business and Telecommunications; Communications in Computer and Information Science,
 
?
6

Privately Connecting Mobility to Infectious Diseases via Ap..:

Bampoulidis, Alexandros ; Bruni, Alessandro ; Helminger, Lukas...
Proceedings on Privacy Enhancing Technologies.  2022 (2022)  4 - p. 768-788 , 2022
 
?
7

The 50 most-cited articles on clear aligner treatment: A bi..:

Bruni, Alessandro ; Serra, Francesca Giulia ; Gallo, Vittorio..
American Journal of Orthodontics and Dentofacial Orthopedics.  159 (2021)  4 - p. e343-e362 , 2021
 
?
8

Security Protocols as Choreographies:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
 
?
9

Trimming Data Sets: a Verified Algorithm for Robust Mean Es..:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,
 
?
10

Practice and Challenges of (De-)Anonymisation for Data Shar..:

, In: Research Challenges in Information Science; Lecture Notes in Business Information Processing,
 
?
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: Electronic Voting; Lecture Notes in Computer Science,
Schürmann, Carsten ; Bruni, Alessandro - p. 200-215 , 2019
 
?
13

2019, Network Neutrality in the EU – between Zero-Rating an..:

Biasin, Elisabetta ; Bruni, Alessandro
Rethinking IT and IP Law – Celebrating 30 Years CiTiP,133 - 140 (Intersentia).  , 2019
 
?
15

Formal Verification of Ephemeral Diffie-Hellman Over COSE (..:

, In: Security Standardisation Research; Lecture Notes in Computer Science,
 
1-15
Mehr Literatur finden