Files
rosenpass/analysis/rosenpass/undef.macro
T
137cd5e85a add proverif analysis of Rosenpass, the protocol
The analysis was conducted as joint effort between @koraa and @blipp.

Co-authored-by: Benjamin Lipp <blipp@mailbox.org>
2023-02-23 20:46:22 +01:00

34 lines
341 B
Plaintext

#ifdef role
#undef role
#endif
#ifdef sski
#undef sski
#endif
#ifdef spki
#undef spki
#endif
#ifdef sskr
#undef sskr
#endif
#ifdef spkr
#undef spkr
#endif
#ifdef eskm
#undef eskm
#endif
#ifdef epkm
#undef epkm
#endif
#ifdef sidi
#undef sidi
#endif
#ifdef sidr
#undef sidr
#endif
#ifdef pidi
#undef pidi
#endif
#ifdef pidr
#undef pidr
#endif