TY  - RPRT
TI  - PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols
AU  - Alexander Senier
AU  - Martin Beck
AU  - Thorsten Strufe
PY  - 2017
UR  - https://arxiv.org/abs/1706.04759
ID  - 1706.04759
ER  -