Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP by Pasquale Noce Sep 02
Information Flow Control via Stateful Intransitive Noninterference in Language IMP by Pasquale Noce Feb 12
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols by Pasquale Noce Dec 05
An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges by Pasquale Noce Dec 04
Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method by Pasquale Noce Jan 03