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.10)

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 8u151+, optional BouncyCastle library 1.58+, required for ECDH)

Java Code Generation

Papers and Documentation

  1. An IDE for the Design, Verification and Implementation of Security Protocols (R.Garcia, P.Modesti), ISSREW2017
  2. Security Protocol Specification and Verification with AnBx (M.Bugliesi, S.Calzavara, S.Mödersheim, P.Modesti), JISA 2016
  3. AnBx: Automatic Generation and Verification of Security Protocols Implementations (P.Modesti), FPS 2015
  4. Efficient Java Code Generation of Security Protocols specified in AnB/AnBx (P.Modesti), Technical Report 2014
  5. Efficient Java Code Generation of Security Protocols specified in AnB/AnBx (P.Modesti), STM 2014 (Short Paper)
  6. 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