A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case

Thomas Shrimpton, Martijn Stam, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

3 Citations (Scopus)

Search results