Search

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 29 out of a total of 29 results. (0.453 seconds)

Now showing items 1-29 of 29

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

A Formal Connection between Security Automata and JML Annotations

Huisman, Marieke ; Tamalet, Alejandro

2009, Article in monograph or in proceedings (Chechik, M.; Wirsing, M. (ed.), Fundamental Approaches to Software Engineering, pp. 340-354)
Model-Based Testing of Electronic Passports

Mostowski, W.I. ; Poll, E. ; Schmaltz, J. ; Tretmans, J. ; Wichers Schreur, R.J.M.

2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
Type-based Object Immutability with Flexible Initialization

Haack, C. ; Poll, E.

2009, Article in monograph or in proceedings (Drossopoulou, S. (ed.), ECOOP 2009 – Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545)
Teaching Program Specification and Verification Using JML and ESC/Java2

Poll, E.

2009, Article in monograph or in proceedings (Gibbons, J.; Oliveira, J. N. (ed.), Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 92-104)
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card

Tews, H. ; Jacobs, Bart

2009, Article in monograph or in proceedings (Markowitch, O.; Bilas, A. (ed.), Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks : Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings, pp. 95-111)
Privacy-friendly Electronic Traffic Pricing via Commits

Jonge, W. de; Jacobs, B.

2009, Article in monograph or in proceedings (Degano, P.; Guttman, J.; Martinelli, F. (ed.), Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers, pp. 143-161)
A Schnorr-like Lightweight Identity-Based Signature Scheme

Galindo Chacon, D. ; Garcia, Flavio

2009, Article in monograph or in proceedings (Preneel, Bart (ed.), Progress in Cryptology - AFRICACRYPT 2009, pp. 135-148)
Client-Server Password Recovery

Chmielewski, L.M. ; Hoepman, Jaap-Henk ; Rossum, Peter van

2009, Article in monograph or in proceedings (Meersman, R. (ed.), On the Move to Meaningful Internet Systems: OTM 2009. Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II, pp. 861-878)
Significant Diagnostic Counterexamples in Probabilistic Model Checking

Andés, Miguel E.; D'Argenio, Pedro; Rossum, Peter van

2009, Article in monograph or in proceedings (Chockler, H.; Hu, A.J. (ed.), Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 129-148)
Traces, executions and schedulers, coalgebraically

Jacobs, B. ; Sokolova, A.

2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 206-221)
Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving.

Gastel, Bernard van; Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van

2009, Article in monograph or in proceedings (Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102)
Preemption Abstraction: A Lightweight Approach to Modelling Concurrency

Schierboom, E.G.H.; Tamalet, Alejandro ; Tews, H. ; Eekelen, M.C.J.D. van ; Smetsers, Sjaak

2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164)
Coalgebraic Components in a Many-Sorted Microcosm

Heunen, C. ; Jacobs, B. ; Sokolova, A. ; Hasuo, I.

2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Italy, September 7-10, 2009. Proceedings, pp. 64-80)
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment

Jacobs, B. ; Pieters, W.

2009, Article in monograph or in proceedings (Aldini, A.; Barthe, G.; Gorrieri, . (ed.), Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures, pp. 121-144)
Differential Cluster Analysis

Batina, L. ; Goerlichs, B.; Lemke-Rust, K.

2009, Article in monograph or in proceedings (Clavier, C.; Gaj, K. (ed.), Cryptographic Hardware and Embedded Systems - CHES 2009 : 11th international workshop, Laussane, Switzerland, september 2009 Proceedings, pp. 112-127)
Malicious Code on Java Card Smartcards: Attacks and Countermeasures

Mostowski, W.I. ; Poll, E.

2008, Article in monograph or in proceedings (Grimaud, G.; Standaert, F.-X. (ed.), Smart Card Research and Advanced Applications : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings, pp. 1-16)
Computational Soundness of Non-Malleable Commitments

Galindo, David; Garcia, F. D. ; Rossum, P.J.B. van

2008, Article in monograph or in proceedings (Chen, Liqun; Mu, Yi; Susilo, Willy (ed.), Information Security Practice and Experience : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings, pp. 361-376)
Conditional Probabilities over Probabilistic and Nondeterministic Systems

Andrés, Miguel E.; Rossum, Peter van

2008, Article in monograph or in proceedings (Ramakrishnan, C.R.; Rehof, J. (ed.), Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 157-172)
A Practical Attack on the MIFARE Classic

Koning Gans, G.T de; Hoepman, J.H. ; Garcia, F. D.

2008, Article in monograph or in proceedings (Proceedings of the 8th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications, pp. 267-282)
Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation

Eekelen, M.C.J.D. van ; Hoedt, Stefan ten; Schreurs, René; Usenko, Yaroslav S.

2008, Article in monograph or in proceedings (Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 182-199)
The Microcosm Principle and Concurrency in Coalgebra

Hasuo, I. ; Jacobs, B.P.F. ; Sokolova, A.

2008, Article in monograph or in proceedings (Amadio, R. (ed.), Foundations of Software Science and Computation Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 246-260)
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization

Lensink, Leonard ; Smetsers, Sjaak ; Eekelen, M.C.J.D. van

2008, Article in monograph or in proceedings (Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132)
Reasoning about Java's Reentrant Locks

Haack, C. ; Huisman, Marieke ; Hurlin, C.

2008, Article in monograph or in proceedings (Ramalingam, G. (ed.), Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 171-187)
Separation Logic Contracts for a Java-like Language with Fork/Join

Haack, C. ; Hurlin, C.

2008, Article in monograph or in proceedings (Meseguer, J.; Rosu, G. (ed.), Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings, pp. 199-215)
Dismantling MIFARE Classic

Garcia, F. D. ; Koning Gans, G.T de; Muijrers, Ruben; Rossum, P.J.B. van ; Verdult, R. ; Wichers Schreur, R.J.M. ; Jacobs, B.P.F.

2008, Article in monograph or in proceedings (Jajodia, S.; Lopez, J. (ed.), Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, pp. 97-114)
Proving properties of lazy functional programs with Sparkle

Mol, M.J. de ; Eekelen, M.C.J.D. van ; Plasmeijer, Rinus

2008, Article in monograph or in proceedings (Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 41-86)
A Single-Step Term-Graph Reduction System for Proof Assistants

Mol, M.J. de ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

2008, Article in monograph or in proceedings (Sch"urr, Andy; Nagl, Manfred; Zündorf, Albert (ed.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers, pp. 184-200)
Selecting Secure Passwords

Verheul, E.R.

2007, Article in monograph or in proceedings (Abe, Masayuki (ed.), Topics in Cryptology – CT-RSA 2007: The Cryptographers’ Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007. Proceedings, pp. 49-66)
Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover

Mol, M.J.T.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

2001, Article in monograph or in proceedings (Arts, Thomas; Mohnen, Markus (ed.), Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers, pp. 55-72)