Kiyoshi Yamada

Publication Activity (10 Years)

Years Active: 1985-2012
Publications (10 Years): 0

Top Topics

Biometric Systems

Theorem Proving

Intrusion Detection

Security Management

Top Venues

Sci. Comput. Program.

Publications

Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying assembly with formal security proofs: The case of BBS. Sci. Comput. Program. 77 (10-11) (2012)
Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Reynald Affeldt, David Nowak, Kiyoshi Yamada
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. IACR Cryptol. ePrint Arch. 2009 (2009)
Kiyoshi Yamada, Takuo Watanabe
An Aspect-Oriented Approach to Modular Behavioral Specification. Electron. Notes Theor. Comput. Sci. 163 (1) (2006)
Kiyoshi Yamada, Takuo Watanabe
An Aspect-oriented Approach to Modular Behavioral Specification of Java Components. IASTED Conf. on Software Engineering (2005)
Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
Specifying context-aware runtime security policies using an algebraic policy specification language. IASTED Conf. on Software Engineering (2004)
Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances. WSTFES (2003)
Kiyoshi Yamada, Tenny N. Lam
Simulation analysis of two adjacent traffic signals. WSC (1985)