Ausgabe 1/2014
Inhalt (6 Artikel)
Regular Contribution
A formalization of card-based cryptographic protocols via abstract machine
Takaaki Mizuki, Hiroki Shizuya
Regular Contribution
Plaintext awareness in identity-based key encapsulation
Mark Manulis, Bertram Poettering, Douglas Stebila
Regular Contribution
Group signature implies public-key encryption with non-interactive opening
Keita Emura, Goichiro Hanaoka, Yusuke Sakai, Jacob C. N. Schuldt
regular contribution
RORI-based countermeasure selection using the OrBAC formalism
Gustavo Gonzalez Granadillo, Malek Belhaouane, Hervé Debar, Grégoire Jacob