April 12, 2007

9:00 - 10:30

 

1.      An Approach for Adaptive Intrusion Prevention Based on The Danger Theory

Alexander Krizhanovsky, Alexander Marasanov

 

2.      A Human-Verifiable Authentication Protocol Using Visible Laser Light

Rene Mayrhofer and Martyn Welch

 

3.      Insider-secure Hybrid Signcryption Scheme Without Random Oracles

Chik How Tan

 

11:00 - 12:30

 

1.      ZeroBio – Evaluation and Development of Asymmetric Fingerprint Authentication System Using Oblivious Neural Network Evaluation Protocol

Kei Nagai, Hiroaki Kikuchi, Wakaha Ogata, Masakatsu Nishigaki

 

2.      A Policy Language for the Extended Reference Monitor in Trusted Operating Systems

Hyung Chan Kim, R.S. Ramakrishna, Wook Shin, Koiuchi Sakurai

 

3.      Analysis on Bleichenbacher’s Forgery Attack

Tetsuya Izu, Takeshi Shimoyama, Masahiko Takenaka

 

13:30 - 15:00

 

1.      A Proposal of the Method for Reducing the Revocation Delay in the Attribute Authentication

Yoshio Kakizaki, Hidekazu Tsuji

 

2.      Efficient Multiparty Computation for Comparator Networks

Koji Chida, Hiroaki Kikuchi, Gembu Morohashi, Keiichi Hirota

 

3.      A Security Framework for RFID Multi-domain System

Dong S. Kim, Jong S. Park

 

4.      Pseudo-Voter Identity (PVID) Scheme for e-Voting Protocols

Orhan Çetinkaya and Ali Do?anaksoy

 

15:30 - 17:30

 

1.      Attacks are Protocols

Too Anders Moen Hagalisletto

 

2.      Evaluation Function for Synthesizing Security Protocols by means of Genetic Algorithms

Luis Zarza, Josep Pegueroles, Miguel Soriano

 

3.      On the use of one-way chain based authentication protocols in secure control systems

Bogdan Groza, Toma Leonida Dragomir

 

4.       Bypassing Data Execution Prevention on Microsoft Windows XP SP2

Nenad Stojanovski, Marjan Gushev, Danilo Gligoroski, Svein J. Knapskog

 

[WAIS 2007 List of papers]