Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download

 

Pasquale Noce

 

Entries

2019
December 4: An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges

 

2017
January 3: Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method

 

2016
June 13: Conservation of CSP Noninterference Security under Concurrent Composition
April 26: Conservation of CSP Noninterference Security under Sequential Composition

 

2015
August 18: The Inductive Unwinding Theorem for CSP Noninterference Security
June 11: The Ipurge Unwinding Theorem for CSP Noninterference Security
June 11: The Generic Unwinding Theorem for CSP Noninterference Security
June 11: Reasoning about Lists via List Interleaving

 

2014
May 23: Noninterference Security in Communicating Sequential Processes

 

2013
December 1: A General Method for the Proof of Theorems on Tail-recursive Functions