Sommaire

Formal Verification of Language-Based Concurrent Noninterference

Popescu, Andrei ; Hölzl, Johannes ; Nipkow, Tobias

Link
Link


Journal of Formalized Reasoning
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model

Ayala-Rincón, Mauricio ; Santos Rego, Yuri

Link
Link


Journal of Formalized Reasoning
A String of Pearls: Proofs of Fermat's Little Theorem

Chan, Hing Lun ; Norrish, Michael

Link
Link


Journal of Formalized Reasoning
A Formal Proof of Square Root and Division Elimination in Embedded Programs

Neron, Pierre

Link
Link


Journal of Formalized Reasoning