DSpace at RU >

Browsing by Faculty / Department Digital Security

Full Text	Issue Date	Title	Author(s)
	1987	Towards an intermediate language based on Graph Rewriting	Barendregt, H.P.; Eekelen, M.C.J.D. van; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J., et al
	1999	Safe proof checking in type theory with Y	Geuvers, J.H.; Poll, E.; Zwanenburg, J.
	2001	Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover	Mol, M.J.T.M.; Eekelen, M.C.J.D. van; Plasmeijer, M.J.
	2004	Induction and Co-induction in Sparkle	Lensink, L.; Eekelen, M. van
	2004	An Effective Proof Rule for General Type Classes	Kesteren, R. van; Eekelen, M. van; Mol, M.J. de
	2005	Induction and Co-induction in Sparkle	Lensink, L.; Eekelen, M.C.J.D. van
	2008	Reasoning about Java's Reentrant Locks	Haack, C.; Huisman, Marieke; Hurlin, Clement; Ramalingam, G.
	2008	Size Analysis with Indexed Families of max0-Polynomials	Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.
	2008	Size Analysis of Algebraic Data Types	Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van
	2008	Computational Soundness of Non-Malleable Commitments	Galindo, David; Garcia, F. D.; Rossum, P.J.B. van; Chen, Liqun; Mu, Yi, et al
	2008	Formal Nova interface specification : Formal specification of the micro-hypervisor interface	Tews, H.; Weber, T.; Poll, E.; Eekelen, M.C.J.D. van
	2008	Beveiligingeisen ten aanzien van identificatie en authenticatie voor toegang zorgconsument tot het Elektronisch Patiëntendossier (EPD)	Jacobs, B.P.F.; Nouwt, S.; Bruijn, A. de; Vermeulen, O.; Knaap, R. van der, et al
	2008	Collected Size Semantics for Functional Programs over lists	Shkaravska, O.; Eekelen, M.C.J.D. van; Tamalet, A.N.
	2008	Separation Logic Contracts for a Java-like Language with Fork/Join	Haack, C.; Hurlin, Clement
	2008	Dismantling MIFARE Classic	Garcia, F.D.; Koning Gans, G.T. de; Muijrers, R.; Rossum, P.J.B. van; Verdult, R., et al
	2008	Efficient and Formally Proven Reduction of Large Integers by Small Moduli	Eekelen, Marko van; Rutten, Luc
	2008	Inferring Static Non-monotone Size-aware Types Through Testing	Kesteren, Ron van; Shkaravska, O.; Eekelen, Marko van; Echahed, R.
	2008	Non-monotonic Polynomial Size Bounds for Functional Programs	Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van; Scholz, Sven-Bodo
	2008	A Size-Aware Type System with Algebraic Data Types	Tamalet, A.N.; Shkaravska, O.; Eekelen, M.C.J.D. van
	2008	Fuzzy Private Matching (Extended Abstract)	Chmielewski, Lukasz; Hoepman, J.H.