Pieter Lexis

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Detailed Design

Formal Analysis

Top Venues

Publications

Tobias Fiebig, Franziska Lichtblau, Florian Streibelt, Thorben Krueger, Pieter Lexis, Randy Bush, Anja Feldmann
SoK: An Analysis of Protocol Design: Avoiding Traps for Implementation and Deployment. CoRR (2016)