Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michele Bugliesi

Logical Foundations of Secure Resource Management in Protocol Implementations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

AnBx - Security Protocols Design and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Context-Sensitive Equivalences for Non-Interference Based Protocol Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Compositional Analysis of Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Secrecy in Untrusted Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Subtyping for Extensible, Incomplete Objects

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1999English

Static vs Dynamic Typing for Access Control in Pi-Calculus

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy