| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Pieter H. Hartel Ileana Buhan , Asker M. Bazen , Pieter H. Hartel, Raymond N. J. Veldhuis : A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. ICB 2006 : 728-736 Cheun Ngen Chong , Ricardo Corin , Jeroen Doumen , Sandro Etalle , Pieter H. Hartel, Yee Wei Law , Andrew Tokmakoff : LicenseScript: a logical language for digital rights management. Annales des Télécommunications 61 (3-4): 284-331 (2006) Cheun Ngen Chong , Sandro Etalle , Pieter H. Hartel, Rieks Joosten , Geert Kleinhuis : Service Brokerage in Prolog. ICEIS (3) 2005 : 409-412 V. Sundramoorthy , Pieter H. Hartel, Jerry den Hartog , Hans Scholten , C. Tan : Functional Principles of Registry-based Service Discovery. LCN 2005 : 209-217 Yee Wei Law , Lodewijk van Hoesel , Jeroen Doumen , Pieter H. Hartel, Paul J. M. Havinga : Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. SASN 2005 : 76-88 Jieyin Cheng , Cheun Ngen Chong , Jeroen Doumen , Sandro Etalle , Pieter H. Hartel, Stefan Nikolaus : StreamTo: Streaming Content using a Tamper-Resistant Token. SEC 2005 : 601-612 Pieter H. Hartel: A Trace Semantics for Positive Core XPath. TIME 2005 : 103-112 Ricardo Corin , Sandro Etalle , Pieter H. Hartel, Antonio Durante : A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118 : 129-143 (2005) Pieter H. Hartel, Pascal van Eck , Sandro Etalle , Roel Wieringa : Modelling Mobility Aspects of Security Policies. CASSIS 2004 : 172-191 Ricardo Corin , Sandro Etalle , Pieter H. Hartel, Angelika Mader : Timed model checking of security protocols. FMSE 2004 : 23-32 Raymond N. J. Veldhuis , Asker M. Bazen , Joost A. Kauffman , Pieter H. Hartel: Biometric verification based on grip-pattern recognition. Security, Steganography, and Watermarking of Multimedia Contents 2004 : 634-641 Cheun Ngen Chong , Bin Ren , Jeroen Doumen , Sandro Etalle , Pieter H. Hartel, Ricardo Corin : License Protection with a Tamper-Resistant Token. WISA 2004 : 223-237 Richard Brinkman , Ling Feng , Jeroen Doumen , Pieter H. Hartel, Willem Jonker : Efficient Tree Search in Encrypted Data. WOSIS 2004 : 126-135 Ricardo Corin , Antonio Durante , Sandro Etalle , Pieter H. Hartel: A Trace Logic for Local Security Properties CoRR cs.CR/0411010 : (2004) Pieter H. Hartel, Henk L. Muller , Hugh Glaser : The Functional "C" experience. J. Funct. Program. 14 (2): 129-135 (2004) Ton Kalker , Dick H. J. Epema , Pieter H. Hartel, Reginald L. Lagendijk , Maarten van Steen : Music2Share - Copyright-Compliant Music Sharing in P2P Systems. Proceedings of the IEEE 92 (6): 961-970 (2004) Cheun Ngen Chong , Sandro Etalle , Pieter H. Hartel, Yee Wei Law : Approximating Fair Use in LicenseScript. ICADL 2003 : 432-443 Cheun Ngen Chong , Sandro Etalle , Pieter H. Hartel: Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops 2003 : 779-792 Yee Wei Law , Ricardo Corin , Sandro Etalle , Pieter H. Hartel: A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC 2003 : 27-39 Yee Wei Law , Sandro Etalle , Pieter H. Hartel: Assessing Security in Energy-Efficient Sensor Networks. SEC 2003 : 459-463 Cheun Ngen Chong , Zhonghong Peng , Pieter H. Hartel: Secure Audit Logging with Tamper-Resistant Hardware. SEC 2003 : 73-84 Erik Poll , Pieter H. Hartel, Eduard de Jong : A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002 : 75-86 Pieter H. Hartel: The State of WG 8.8. CARDIS 2002 Cheun Ngen Chong , René van Buuren , Pieter H. Hartel, Geert Kleinhuis : Security Attributes Based Digital Rights Management. IDMS/PROMS 2002 : 339-352 Hans Scholten , Pierre G. Jansen , Ferdy Hanssen , Pieter H. Hartel, T. Hattink , V. Sundramoorthy : Multimedia QoS in Low-Cost Home Networks. LCN 2002 : 327-328 Neil J. Henderson , Neil M. White , Pieter H. Hartel: iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. E-smart 2001 : 124-134 Pieter H. Hartel, Michael J. Butler , Eduard de Jong , Mark Longley : Transacted Memory for Smart Cards. FME 2001 : 478-499 Adam Field , Pieter H. Hartel, Wim Mooij : Personal DJ, an architecture for personalised content delivery. WWW 2001 : 1-7 Pieter H. Hartel, Luc Moreau : Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Comput. Surv. 33 (4): 517-558 (2001) Josep Domingo-Ferrer , Pieter H. Hartel: Current directions in smart cards. Computer Networks 36 (4): 377-379 (2001) Pieter H. Hartel: Formalising Java Safety - An overview. CARDIS 2000 : 115-134 Neil Henderson , Pieter H. Hartel: Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS 2000 : 241-256 Pieter H. Hartel, Eduard de Jong : A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. Java Card Workshop 2000 : 52-72 Hugh Glaser , Pieter H. Hartel, Paul W. Garratt : Programming by Numbers: A Programming Method for Novices. Comput. J. 43 (4): 252-265 (2000) Pieter H. Hartel, Michael J. Butler , Moshe Levy : The Operational Semantics of a Java Secure Processor. Formal Syntax and Semantics of Java 1999 : 313-352 Michael J. Butler , Pieter H. Hartel: Reasoning about Grover's quantum search algorithm using probabilistic wp . ACM Trans. Program. Lang. Syst. 21 (3): 417-429 (1999) Sandro Etalle , Pieter H. Hartel, Willem G. Vree : Declarative solutions to partitioned-grid problems. Softw., Pract. Exper. 29 (13): 1173-1200 (1999) Pieter H. Hartel: LETOS - a lightweight execution tool for operational semantics. Softw., Pract. Exper. 29 (15): 1379-1416 (1999) Pieter H. Hartel, Jake Hill , Matt Sims : An Operational Model of QuickPay - Extended Abstract. CARDIS 1998 : 19-28 Hugh Glaser , Pieter H. Hartel, Herbert Kuchen : Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings Springer 1997 Pieter H. Hartel, Jean-Jacques Quisquater : Introduction to CARDIS 1996. CARDIS 1996 Hugh Glaser , Pieter H. Hartel, Eduard K. de Jong Frz : Structuring and Visualising an IC-card Security Standard. CARDIS 1996 Marjan I. Alberda , Pieter H. Hartel, Eduard K. de Jong Frz : Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996 Pieter H. Hartel, Hugh Glaser : The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. J. Funct. Program. 6 (1): 29-45 (1996) Pieter H. Hartel, Marc Feeley , Martin Alt , Lennart Augustsson , Peter Baumann , Marcel Beemster , Emmanuel Chailloux , Christine H. Flood , Wolfgang Grieskamp , John H. G. van Groningen , Kevin Hammond , Bogumil Hausman , Melody Y. Ivory , Richard E. Jones , Jasper Kamperman , Peter Lee , Xavier Leroy , Rafael Dueire Lins , Sandra Loosemore , Niklas Röjemo , Manuel Serrano , Jean-Pierre Talpin , Jon Thackray , Stephen Thomas , Pum Walters , Pierre Weis , Peter Wentworth : Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6 (4): 621-655 (1996) Pieter H. Hartel, Marinus J. Plasmeijer : Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings Springer 1995 Pieter H. Hartel, Bert van Es , Dick Tromp : Basic Proof Skills of Computer Science Students. FPLE 1995 : 269-287 Hugh McEvoy , Pieter H. Hartel: Local Linear Logic for Locality Consciousness in Multiset Transformation PLILP 1995 : 357-379 Pieter H. Hartel, Marinus J. Plasmeijer : Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5 (3): 279-281 (1995) Willem G. Vree , Pieter H. Hartel: Communication Lifting: Fixed Point Computation for Parallelism. J. Funct. Program. 5 (4): 549-581 (1995) A. Reza Haydarlou , Pieter H. Hartel: Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language. Journal of Functional and Logic Programming 1995 (1): (1995) Pieter H. Hartel, Willem G. Vree : Experiments wiht Destructive Updates in a Lazy Functional Language. Comput. Lang. 20 (3): 177-192 (1994) Pieter H. Hartel, Hugh Glaser , John M. Wild : Compilation of Functional Languages using Flow Graph Analysis. Softw., Pract. Exper. 24 (2): 127-173 (1994) Pieter H. Hartel, Koen Langendoen : Benchmarking Implementations of Lazy Functional Languages. FPCA 1993 : 341-349 Koen Langendoen , Pieter H. Hartel: FCG: A Code Generator for Lazy Functional Languages. CC 1992 : 278-296 Pieter H. Hartel: Performance of Lazy Combinator Graph Reduction. Softw., Pract. Exper. 21 (3): 299-329 (1991) Pieter H. Hartel: A Comparison of Three Garbage Collection Algorithms. Structured Programming 11 (3): 117-128 (1990) Pieter H. Hartel: The Average Size of Ordered Binary Subgraphs. WG 1988 : 327-351 Pieter H. Hartel, Arthur H. Veen : Statistics on Graph Reduction of SASL Programs. Softw., Pract. Exper. 18 (3): 239-253 (1988) Jan van den Bos , Marinus J. Plasmeijer , Pieter H. Hartel: Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. 9 (3): 247-259 (1983) 1 [ 18 ] 2 [ 16 ] 3 [ 16 ] 4 [ 16 ] 5 [ 50 ] [ 60 ] 6 [ 16 ] 7 [ 1 ] 8 [ 48 ] 9 [ 60 ] 10 [ 25 ] [ 26 ] [ 34 ] 11 [ 37 ] 12 [ 16 ] 13 [ 55 ] 14 [ 37 ] [ 40 ] [ 43 ] [ 44 ] [ 49 ] [ 55 ] [ 58 ] [ 59 ] 15 [ 42 ] [ 47 ] [ 49 ] [ 51 ] [ 53 ] [ 59 ] 16 [ 31 ] 17 [ 48 ] [ 49 ] [ 55 ] [ 56 ] [ 59 ] 18 [ 47 ] [ 53 ] 19 [ 52 ] 20 [ 45 ] 21 [ 14 ] 22 [ 24 ] [ 41 ] [ 42 ] [ 43 ] [ 44 ] [ 47 ] [ 49 ] [ 51 ] [ 52 ] [ 53 ] [ 55 ] [ 58 ] [ 59 ] 23 [ 16 ] 24 [ 48 ] 25 [ 33 ] 26 [ 16 ] 27 [ 18 ] [ 19 ] 28 [ 27 ] 29 [ 8 ] [ 17 ] [ 19 ] [ 21 ] [ 27 ] [ 46 ] 30 [ 16 ] 31 [ 16 ] 32 [ 16 ] 33 [ 36 ] 34 [ 57 ] 35 [ 36 ] 36 [ 16 ] 37 [ 56 ] 38 [ 10 ] 39 [ 29 ] 40 [ 35 ] 41 [ 22 ] 42 [ 56 ] 43 [ 16 ] 44 [ 36 ] 45 [ 16 ] 46 [ 28 ] [ 34 ] [ 39 ] 47 [ 48 ] 48 [ 58 ] 49 [ 45 ] 50 [ 16 ] 51 [ 50 ] 52 [ 37 ] [ 58 ] 53 [ 21 ] 54 [ 45 ] 55 [ 6 ] [ 7 ] 56 [ 41 ] [ 42 ] [ 44 ] [ 56 ] [ 59 ] 57 [ 16 ] 58 [ 16 ] 59 [ 26 ] 60 [ 16 ] 61 [ 34 ] 62 [ 16 ] 63 [ 51 ] 64 [ 13 ] 65 [ 33 ] 66 [ 32 ] 67 [ 46 ] 68 [ 55 ] 69 [ 40 ] 70 [ 1 ] [ 12 ] [ 15 ] 71 [ 39 ] 72 [ 20 ] 73 [ 49 ] 74 [ 16 ] 75 [ 36 ] [ 57 ] 76 [ 16 ] 77 [ 22 ] 78 [ 45 ] 79 [ 36 ] [ 57 ] 80 [ 16 ] 81 [ 57 ] 82 [ 16 ] 83 [ 16 ] 84 [ 59 ] 85 [ 14 ] 86 [ 2 ] 87 [ 50 ] [ 60 ] 88 [ 9 ] [ 11 ] [ 24 ] 89 [ 16 ] 90 [ 16 ] 91 [ 16 ] 92 [ 35 ] 93 [ 52 ] 94 [ 8 ]  ©2006 Association for Computing Machinery |
