Logging-independent Message Anonymity in the Relational Method
by Pasquale Noce
Pasquale Noce
2021
A Shorter Compiler Correctness Proof for Language IMP
by Pasquale Noce
2020
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols
by Pasquale Noce
2019
An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges
by Pasquale Noce
2017
Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method
by Pasquale Noce
2016
Conservation of CSP Noninterference Security under Concurrent Composition
by Pasquale Noce
Conservation of CSP Noninterference Security under Sequential Composition
by Pasquale Noce
2015
The Inductive Unwinding Theorem for CSP Noninterference Security
by Pasquale Noce
The Ipurge Unwinding Theorem for CSP Noninterference Security
by Pasquale Noce
The Generic Unwinding Theorem for CSP Noninterference Security
by Pasquale Noce
2014
Noninterference Security in Communicating Sequential Processes
by Pasquale Noce
2013
A General Method for the Proof of Theorems on Tail-recursive Functions
by Pasquale Noce