Paolo Modesti

Lecturer, Computer Science, University of Sunderland, UK
e-mail: paolo.modesti (at) sunderland.ac.uk
Home Page | Publications | PhD Supervision | AnBx Compiler | AnBx IDE | Google Scholar | dbpl | University of Sunderland

AnBx Compiler and Java Code Generator

Security Protocols Specification, Verification and Implementation - Alice and Bob to Java Compiler

Features

Download (v. 2017.07)

Building the tool (requires the Glasgow Haskell Compiler version 7.8.3+ - The Haskell platform is recommended)

Running the tool (examples) (requires Java SE Runtime 8u141+, optional BouncyCastle library 1.57+, required for ECDH)

Java Code Generation

Papers and Documentation

  1. Security Protocol Specification and Verification with AnBx (M.Bugliesi, S.Calzavara, S.Mödersheim, P.Modesti), JISA 2016
  2. AnBx: Automatic Generation and Verification of Security Protocols Implementations (P.Modesti), FPS 2015
  3. Efficient Java Code Generation of Security Protocols specified in AnB/AnBx (P.Modesti), Technical Report 2014
  4. Efficient Java Code Generation of Security Protocols specified in AnB/AnBx (P.Modesti), STM 2014 (Short Paper)
  5. AnBx - Security Protocols Design and Verification (M.Bugliesi, P.Modesti), ARSPA-WITS 2010

Questions?

 
Home Page | Publications | PhD Supervision | AnBx Compiler | AnBx IDE | Google Scholar | dbpl | University of Sunderland