Source Code Verification of a Secure Payment AppletB. Jacobs, M. Oostdijk, and M. Warnier
JLAP 58, pp. 107-120,
2004. [ PDF | BibTeX | More info ]
Source Code Verification of a Secure Payment Applet
B. Jacobs, M. Oostdijk, and M. Warnier
JLAP 58, pp. 107-120,
2004.
[
PDF |
BibTeX |
More info
]
Formal and efficient primality proofs by use of
Computer Algebra oracles
O. Caprotti and M. Oostdijk
JSC 32 (1/2), pp. 55-70,
Special Issue on Computer Algebra and Mechanized Reasoning,
2001.
[
PDF |
BibTeX |
More info
]
Proof by computation in the Coq system
M. Oostdijk and H. Geuvers
TCS 272 (1-2), pp. 293-314, Special Issue on
MSJ regional workshop on Theories of Types and Proofs
(TTP'97, Tokyo),
2002.
[
PDF |
BibTeX |
More info
]
A Security Analysis of OpenID
B. van Delft,
M. Oostdijk
In proceedings of
IFIP IDMAN 2010 - Policies
& Research in Identity Management,
IFIP advances in Information and Communication Technology,
Volume 343, pp. 73-84,
2010.
User-centric identity using ePassports
M. Oostdijk,
D-J. van Dijk,
M. Wegdam
In proceedings of
SecureComm 2009 (Athens),
LNICST 19, ISSN 1867-8211 pp. 296-310,
2009.
[
PDF |
More info
]
Patient Data Confidentiality Issues of
the Dutch Electronic Health Care Record
P. Groot,
F. Bruijsten, and
M. Oostdijk
In proceedings of the Belgian-Dutch Conference on Artificial Intelligence
(BNAIC 2007, Utrecht),
ISSN 1568-7805, pp. 151-157,
2007.
[
PDF
]
Integrating verification, testing and learning for cryptographic protocols
M. Oostdijk,
V. Rusu,
J. Tretmans,
R.G. de Vries, and
T.A.C. Willemse
In proceedings of Integrated Formal Methods,
(IFM 2007, Oxford, UK),
LNCS 4591, pp. 538-557,
2007.
[
More info
]
The KOA Remote Voting System: A Summary of Work To Date
J. Kiniry,
A. Morkan,
D. Cochran,
F. Fairmichael,
P. Chalin,
M. Oostdijk, and
E. Hubbers
In proceedings of Trustworthy Global Computing,
(TGC 2006, Lucca, Italy),
LNCS 4661, pp. 244-262,
2007.
[
More info
]
Crossing Borders: Security and Privacy Issues of the European
e-Passport
J-H. Hoepman,
E. Hubbers,
B. Jacobs,
M. Oostdijk,
R. Wichers Schreur
In proceedings of First International Workshop on Security,
(IWSEC 2006, Kyoto, Japan),
LNCS 4266, pp. 152-167,
2006.
[
PDF |
More info
]
Foundations of Attack Trees
S. Mauw and
M. Oostdijk
In the proceedings of the
International Conference on Information
Security and Cryptology (ICISC 2005, Seoul), LNCS 3935, pp. 186-198,
2006.
[
PDF |
BibTeX |
More info
]
On-the-Fly Formal Testing of a Smart Card Applet
A. van Weelden,
M. Oostdijk,
L. Frantzen,
P. Koopman,
J. Tretmans
In the proceedings of the
20th IFIP TC11 International Information
Security Conference (SEC 2005, Tokyo), pp. 564-576,
2005.
[
PDF |
BibTeX |
More info
]
(A preliminary version appeared as a technical report, see below)
Generating JML Specifications from UML State Diagrams
E. Hubbers and M. Oostdijk
In the proceedings of the
Forum on
specification & Design Languages
(FDL 2003, Frankfurt), pp. 263-273,
2003.
[
PDF |
BibTeX
]
Implementing a Formally Verifiable Security Protocol in
Java Card
E. Hubbers, M. Oostdijk, and E. Poll
In the proceedings of the
1st International Conference on
Security in Pervasive Computing (SPC 2003, Boppard), LNCS 2802, pp. 213-226,
2004.
[
PDF |
BibTeX
]
From Finite State Machines To Provably Correct
Java Card Applets
E. Hubbers, M. Oostdijk, and E. Poll
In the proceedings of the
18th IFIP TC11 International Information
Security Conference (SEC 2003, Athens), pp. 465-470,
2003.
[
PDF |
BibTeX
]
How to formally and efficiently prove prime(2999)
O. Caprotti and
M. Oostdijk
In Proceedings of Calculemus 2000
(St. Andrews),
A K Peters publishers, pp. 114-125,
2000.
[
PDF |
BibTeX
]
On Communicating Proofs in Interactive Mathematical Documents
O. Caprotti and
M. Oostdijk
In Proceedings of
Artificial Intelligence and
Symbolic Computation
(AISC'00, Madrid), LNAI 1930, pp. 53-64,
2000.
[
PDF |
BibTeX
]
Design of a Trusted Anonymous Identity Management System for Web Applications
I. Kaliisa and
M. Oostdijk
In the proceedings of
IPSI-2005 Amsterdam (CD-ROM, ISBN 86-7466-117-3),
2005.
Towards Excellence in Internet Security research for Developing Countries
I. Kaliisa and
M. Oostdijk
In the proceedings of
the 1st International Conference on
Sustainable ICT Capacity in Developing Countries (SREC'05, Kampala),
2005.
Voting using Java Card smart cards: A case study
C-B. Breunesse, B. Jacobs, and M. Oostdijk
In the informal proceedings of the annual
VerifiCard
meeting (Marseille),
2002.
[
PDF |
BibTeX |
More info
]
Certified and Portable Mathematical Documents from
Formal Contexts
O. Caprotti,
H. Geuvers, and
M. Oostdijk
In the informal proceedings of the 1st International Workshop on
Mathematical Knowledge Management
(MKM 2001, Linz),
2001.
[
PDF |
BibTeX |
More info
]
Non-interference in JML
M. Warnier and
M. Oostdijk
ICIS-R05034, Nijmegen Institute of Information and Computing Sciences,
October 2005.
[
PDF |
More
info
]
On-the-Fly Formal Testing of a Smart Card Applet
A. van Weelden,
L. Frantzen,
M. Oostdijk,
P. Koopman,
J. Tretmans
NIII-R0428, Nijmegen Institute of Information and Computing Sciences,
2004.
[
PDF |
More info
]
On the combination of Java Card Remote Method Invocation and JML
M. Oostdijk and
M. Warnier
NIII-R0321, Nijmegen Institute of Information and Computing Sciences,
October 2003.
[
PDF
]
An interactive viewer for mathematical content based
on Type Theory
M. Oostdijk
CSR 00-15, Eindhoven University of Technology,
September 2000.
[
PDF |
BibTeX |
More info
]
Generation and Presentation of Formal Mathematical Documents
M. Oostdijk
Ph.D. thesis,
Eindhoven University of Technology,
September 2001.
[
PDF |
BibTeX |
More info
]
Proof by Calculation
M. Oostdijk
Master's thesis,
University of Nijmegen,
1996.
[
PDF |
BibTeX |
More info
]
Evaluation of VASCO Digipass Nano
M. Oostdijk and M. Wegdam
SURFnet report,
May 2011.
[
PDF
]
Applications of Modern Cryptography
R. van Rijswijk and M. Oostdijk
SURFnet report,
September 2010.
[
PDF
]
Authenticatiemiddelen: Stand van zaken 2010
M. Oostdijk
Novay rapport (cidSafe),
2010.
[
PDF |
More info
]
Inloggen en ondertekenen met je mobiel - Mobile PKI
M. Oostdijk, M. Wegdam, R. van Rijswijk, J. van Dijk
Informatiebeveiliging 2010-5, pp. 24-26,
PvIB,
July 2010.
[
PDF
]
Provisioning Scenarios in Identity Federations
M. Oostdijk,
B. Hulsebosch,
N. van Dijk,
R. van Rijswijk,
H. Zandbelt
EDS-2010-04,
July 2010.
[
PDF
]
Mobile PKI - A technology scouting for security and use of mobile authentication technologies
M. Oostdijk,
M. Wegdam
For SURFnet,
December 2009.
[
PDF |
PDF (original Dutch version) |
More info
]
Trust, Security, and Privacy for the Advanced Metering Infrastructure
G. Lenzini,
M. Oostdijk,
W. Teeuw
White paper, Novay/RS/2009/010,
July 2009.
[
PDF
]
Security Aspecten van Mobile Learning
G. Lenzini,
M. Oostdijk,
X. van Pelt
For SURFnet
& Kennisnet,
2008.
[
PDF |
More info
]
Secure Application Programming in the Presence of Side Channel Attacks
M. Witteman and
M. Oostdijk
Presented (by Marc Witteman and Harko Robroch)
at RSA Conference 2008 (session
RR-203),
March 2008.
[
PDF
]
Formal techniques in a remote voting system
J. Kiniry,
A. Morkan,
D. Cochran,
M. Oostdijk, and
E. Hubbers
ACM SIGSOFT Software Engineering Notes
Volume 31, Issue 6, FSE Poster Session,
November 2006.
[
More info
]
Attack Trees: Door de bomen de bedreigingen zien
S. Mauw and
M. Oostdijk
Informatiebeveiliging 2006-1, pp. 16-17,
PvIB,
February 2006.
[
PDF
]
Security Principes: Informatiebeveiliging op de managementagenda
A. Jochem (with A. Bewier, L. Bongers, L. Borger, H. Coenen, B. Elsinga,
E. Jonkman, R. Kuiper, M. Oostdijk,
D. Rijsenbrij,
A. Smulders)
GvIB Expert Brief,
November 2005.
[
PDF |
More info
]
Counting Votes with Formal Methods
B. Jacobs
(with
E. Hubbers,
J. Kiniry
and M. Oostdijk)
(Abstract invited talk by Bart
in proceedings of AMAST 2004),
2004.
Electronic voting system
B. Jacobs and
M. Oostdijk
European patent application
01203355.1 2221,
2003.
[
PDF |
epoline.org | Google patents
]
Formalized Content in USI
T. Borghuis,
H. Geuvers,
K. Hemerik,
R. Nederpelt,
M. Oostdijk
Poster presentation at Symposium on User-System Interaction (SUSI 1999)
1999.
Excursie naar het laboratorium van de Vereniging ter Bevordering
van Overbodige Kennis
M. Oostdijk and
M. Stoelinga
INternational Proceedings of Universal Laboratory Sciences
(IMPULS'93),
Wormekerveen (U), 1993. (Dutch.)
[
PDF
]
[ Citeseer | DBPL | Google Scholar | Microsoft Libra | PubZone | Scirus | ScientificCommons | SpringerLink ]