DMCA

Security-typed languages for implementation of cryptographic protocols: A case study (2005)

by Aslan Askarov , Andrei Sabelfeld
Venue:In Proc. European Symp. on Research in Computer Security, volume 3679 of LNCS
Citations:30 - 5 self