Joe-Kai Tsay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2012
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CRYPTO | Efficient Padding Oracle Attacks on Cryptographic Hardware. | Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay |
| 2008 | CCS | Computationally sound mechanized proofs for basic and public-key Kerberos. | Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
| 2006 | ESORICS | Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |