Alex Busenius

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper introduces Expi2Java, a new code generator for cryptographic protocols that translates models written in an extensible variant of the Spi calculus into executable code in a substantial fragment of Java, featuring concurrency, synchronization between threads, exception handling and a sophisticated type system with generics and wildcards. Our code(More)
  • 1