Pasquale Noce

E-Mails 📧

• moc.liamg @oroval.econ.elauqsap

Entries

2024

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

2022

A Reuse-Based Multi-Stage Compiler Verification for Language IMP

by Pasquale Noce 📧

Jul 10

2021

Logging-independent Message Anonymity in the Relational Method

by Pasquale Noce 📧

Aug 26

A Shorter Compiler Correctness Proof for Language IMP

by Pasquale Noce 📧

Jun 04

2020

The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols

by Pasquale Noce 📧

Dec 05

2019

An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges

by Pasquale Noce 📧

Dec 04

2017

Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method

by Pasquale Noce 📧

Jan 03

2016

Conservation of CSP Noninterference Security under Concurrent Composition

by Pasquale Noce 📧

Jun 13

Conservation of CSP Noninterference Security under Sequential Composition

by Pasquale Noce 📧

Apr 26

2015

The Inductive Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce 📧

Aug 18

The Ipurge Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce 📧

Jun 11

The Generic Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce 📧

Jun 11

Reasoning about Lists via List Interleaving

by Pasquale Noce 📧

Jun 11

2014

Noninterference Security in Communicating Sequential Processes

by Pasquale Noce 📧

May 23

2013

A General Method for the Proof of Theorems on Tail-recursive Functions

by Pasquale Noce 📧

Dec 01