Sergiu Bursuc

Available identifiers

zbMath Open bursuc.sergiuMaRDI QIDQ462486

List of research outcomes

Publication	Date of Publication	Type
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification	2021-04-07	Paper
Automated Verification of Dynamic Root of Trust Protocols	2020-08-03	Paper
Deducibility constraints and blind signatures	2014-10-20	Paper
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity	2012-06-29	Paper
Deducibility Constraints	2010-01-14	Paper
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions	2009-06-30	Paper
Deducibility Constraints, Equational Theory and Electronic Money	2009-03-06	Paper
Associative-Commutative Deducibility Constraints	2007-09-03	Paper

Research outcomes over time

This page was built for person: Sergiu Bursuc