Explore projects

A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)

Implementation of a functional non-linear polynomial-regression on Tensorflow 2.0

Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"