Pasquale Noce

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 13

Top Topics

Arc Consistency Algorithm

Authentication Protocol

Security Measures

Information Flow Control

Top Venues

Arch. Formal Proofs

Publications

Pasquale Noce
Information Flow Control via Stateful Intransitive Noninterference in Language IMP. Arch. Formal Proofs 2024 (2024)
Pasquale Noce
A Reuse-Based Multi-Stage Compiler Verification for Language IMP. Arch. Formal Proofs 2022 (2022)
Pasquale Noce
A Shorter Compiler Correctness Proof for Language IMP. Arch. Formal Proofs 2021 (2021)
Pasquale Noce
Logging-independent Message Anonymity in the Relational Method. Arch. Formal Proofs 2021 (2021)
Pasquale Noce
The Relational Method with Message Anonymity for the Verification of Cryptographic Protocols. Arch. Formal Proofs 2020 (2020)
Pasquale Noce
An Efficient Generalization of Counting Sort for Large, possibly Infinite Key Ranges. Arch. Formal Proofs 2019 (2019)
Pasquale Noce
Verification of a Diffie-Hellman Password-based Authentication Protocol by Extending the Inductive Method. Arch. Formal Proofs 2017 (2017)
Pasquale Noce
Conservation of CSP Noninterference Security under Concurrent Composition. Arch. Formal Proofs 2016 (2016)
Pasquale Noce
Conservation of CSP Noninterference Security under Sequential Composition. Arch. Formal Proofs 2016 (2016)
Pasquale Noce
Reasoning about Lists via List Interleaving. Arch. Formal Proofs 2015 (2015)
Pasquale Noce
The Ipurge Unwinding Theorem for CSP Noninterference Security. Arch. Formal Proofs 2015 (2015)
Pasquale Noce
The Generic Unwinding Theorem for CSP Noninterference Security. Arch. Formal Proofs 2015 (2015)
Pasquale Noce
The Inductive Unwinding Theorem for CSP Noninterference Security. Arch. Formal Proofs 2015 (2015)
Pasquale Noce
Noninterference Security in Communicating Sequential Processes. Arch. Formal Proofs 2014 (2014)
Pasquale Noce
A General Method for the Proof of Theorems on Tail-recursive Functions. Arch. Formal Proofs 2013 (2013)