Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Vishwa Gupta
Xu Xiaodong
Jhonathan Pinzon
Liangliang Shang
Lihong Ma
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
MARTIJN OOSTDIJK
Author Info
Open Visualization
Name
Affiliation
Papers
MARTIJN OOSTDIJK
Eindhoven Univ. of Technology, Eindhoven, The Netherlands
15
Collaborators
Citations
PageRank
26
132
13.89
Referers
Referees
References
271
238
122
Search Limit
100
271
Publications (15 rows)
Collaborators (26 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Making authentication stronger and more cost efficient with web of trust.
0
0.34
2014
User-Centric Identity Using ePassports.
0
0.34
2009
Integrating verification, testing, and learning for cryptographic protocols
5
0.44
2007
Formal techniques in a remote voting system
12
0.48
2006
Crossing borders: security and privacy issues of the european e-passport
50
5.11
2006
The KOA remote voting system: a summary of work to date
10
0.75
2006
On-the-Fly Formal Testing of a Smart Card Applet
5
0.49
2005
Counting Votes with Formal Methods
3
0.47
2004
Source code verification of a secure payment applet
6
0.89
2004
From Finite State Machines to Provably Correct Java Card Applets
9
0.78
2003
Implementing a Formally Verifiable Security Protocol in Java Card
12
0.93
2003
Generating JML Specifications from UML State Diagrams
2
0.40
2003
Proof by computation in the Coq system
5
0.72
2002
Formal and efficient primality proofs by use of computer algebra oracles
11
1.19
2001
On Communicating Proofs in Interactive Mathematical Documents
2
0.56
2000
1