Wouter Teepe

发表

Workflow analyzed for security and privacy in using databases

Reind P. van de Riet, Martin S. Olivier, Wouter Teepe, 2003 .

WorkFlow Analyzed for Security and Privacy in Using Databases

Reind P. van de Riet, Martin S. Olivier, Wouter Teepe, 2003, J. Comput. Secur..

The Secret Prover: Proving Possession of Arbitrary Files While not Giving Them Away

Wouter Teepe, 2005 .

Dynamic Epistemic Logic for Protocol Analysis

Yanjing Wang, Wouter Teepe, F Francien Dechesne, 2009 .

Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic

Wouter Teepe, 2005, Synthese.

The Secret Prover

Wouter Teepe, 2005 .

Party profiles on the web: an analysis of the logfiles of non-partisan interactive political internet sites in the 2003 and 2004 election campaigns in Belgium

Wouter Teepe, Marc Hooghe, W. Teepe, 2007, New Media Soc..

Making the Best of Mifare Classic Update

Wouter Teepe, 2008 .

On BAN logic and hash functions or: how an unjustified inference rule causes problems

Wouter Teepe, 2008, Autonomous Agents and Multi-Agent Systems.

Security Flaw in MIFARE Classic

Flavio D. Garcia, Ronny Wichers Schreur, Wouter Teepe, 2008 .

Integrity and dissemination control in administrative applications through information designators

Wouter Teepe, 2005, Comput. Syst. Sci. Eng..

New Protocols for Proving Knowledge of Arbitrary Secrets While not Giving Them Away

Wouter Teepe, 2005 .