Pasquale Noce

17 papers Journal 16
YearRankTypeTitle / Venue / Authors
2024 J jnl
Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP.
Arch. Formal Proofs
Pasquale Noce
2024 J jnl
Information Flow Control via Stateful Intransitive Noninterference in Language IMP.
Arch. Formal Proofs
Pasquale Noce
2023 — ch.
Formal Verification of Cryptographic Protocols with Isabelle/HOL.
Handb. Formal Anal. Verification Cryptogr.
Pasquale Noce
2022 J jnl
A Reuse-Based Multi-Stage Compiler Verification for Language IMP.
Arch. Formal Proofs
Pasquale Noce
2021 J jnl
A Shorter Compiler Correctness Proof for Language IMP.
Arch. Formal Proofs
Pasquale Noce
2021 J jnl
Logging-independent Message Anonymity in the Relational Method.
Arch. Formal Proofs
Pasquale Noce
2020 J jnl
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols.
Arch. Formal Proofs
Pasquale Noce
2019 J jnl
An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges.
Arch. Formal Proofs
Pasquale Noce
2017 J jnl
Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method.
Arch. Formal Proofs
Pasquale Noce
2016 J jnl
Conservation of CSP Noninterference Security under Concurrent Composition.
Arch. Formal Proofs
Pasquale Noce
2016 J jnl
Conservation of CSP Noninterference Security under Sequential Composition.
Arch. Formal Proofs
Pasquale Noce
2015 J jnl
Reasoning about Lists via List Interleaving.
Arch. Formal Proofs
Pasquale Noce
2015 J jnl
The Generic Unwinding Theorem for CSP Noninterference Security.
Arch. Formal Proofs
Pasquale Noce
2015 J jnl
The Inductive Unwinding Theorem for CSP Noninterference Security.
Arch. Formal Proofs
Pasquale Noce
2015 J jnl
The Ipurge Unwinding Theorem for CSP Noninterference Security.
Arch. Formal Proofs
Pasquale Noce
2014 J jnl
Noninterference Security in Communicating Sequential Processes.
Arch. Formal Proofs
Pasquale Noce
2013 J jnl
A General Method for the Proof of Theorems on Tail-recursive Functions.
Arch. Formal Proofs
Pasquale Noce