Items where Author is "Busenius, Alex"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Backes, Michael and Busenius, Alex and Hriţcu, Cătălin
(2012) On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.
In: Proc. 4th NASA Formal Methods Symposium (NFM 2012).

Busenius, Alex
(2011) Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java.
Masters thesis, Saarland University.

Busenius, Alex
(2009) Expi2Java - En Extensible Code Generator for Security Protocols.
Bachelors thesis, Saarland University.

This list was generated on Fri Feb 3 00:03:35 2023 CET.