EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Author: Hartel, P.H.

Home Policy Brochure Browse Search User Area Contact Help

2012

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. (2012) A Log Mining Approach for Process Monitoring in SCADA. International Journal of Information Security, 11. ISSN 1615-5262 *** ISI Impact 1,094 ***

Hartel, P.H. (2012) Review of "Smartening the crowds: computational techniques for improving human verification to fight phishing scams, by Liu G., Xiang G., Pendleton B., Hong J., Liu W.". - In: Proceedings of the 7th Symposium on Usable Privacy and Security, Pittsburgh, PA, July 20-22, 2011. Computing reviews. CR139837. ISSN 0010-4884

Hartel, P.H. and Muller, H.L. (2012) Simple algebraic data types for C. Software: Practice and Experience, 42 (2). pp. 191-210. ISSN 0038-0644 *** ISI Impact 0,573 ***

2011

Bösch, C.T. and Brinkman, R. and Hartel, P.H. and Jonker, W. (2011) Conjunctive Wildcard Search over Encrypted Data. In: 8th VLDB Workshop on Secure Data Management, SDM 2011, 02 Sep 2011, Seattle, WA, USA. pp. 114-127. Lecture Notes in Computer Science 6933. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23555-9

Dimkov, T. and Pieters, W. and Hartel, P.H. (2011) Training Students to Steal: A Practical Assignment in Computer Security Education. In: Proceedings of the 42nd ACM Technical Symposium on Computer Science Education (SIGCSE 2011), 9-12 Mar 2011, Dallas, Texas, USA. pp. 21-26. ACM. ISBN 978-1-4503-0500-6

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. and Etalle, S. (2011) MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. In: Proceedings of the European Conference on Computer Network Defense, EC2ND 2011, 6-8 Sept 2011, Gothenburg, Sweden. pp. 41-48. IEEE Computer Society.

Hartel, P.H. (2011) Review of "Privacy-preserving network forensics" by Afanasyev M., Kohno T., Ma J., Murphy N., Savage S., Snoeren A., and Voelker G. Computing Reviews. CR139251. ISSN 1530-6585

Ibraimi, L. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2011) Public-Key Encryption with Delegated Search. In: Proceedings of the 9th International Conference on Applied Cryptography and Network Security (ACNS), 7-10 Jun 2011, Nerja, Spain. pp. 532-549. Lecture Notes in Computer Science 6715. Springer Verlag. ISBN 978-3-642-21553-7

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) Privacy-Preserving Profile Matching Using the Social Graph. Technical Report TR-CTIT-11-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) Privacy-Preserving Profile Matching Using the Social Graph. In: International Conference on Computational Aspects of Social Networks, CASoN 2011, 19-21 Oct 2011 , Salamanca, Spain. pp. 42-47. IEEE Computer Society. ISBN 978-1-4577-1132-9

Jeckmans, A.J.P. and Tang, Qiang and Hartel, P.H. (2011) POSTER: Privacy-Preserving Profile Similarity Computation in Online Social Networks. In: Proceedings of the 18th ACM conference on Computer and communications security (CCS), 17-21 Oct 2011 , Chicago, IL, USA. pp. 793-795. ACM. ISBN 978-1-4503-0948-6

Law, Yee Wei and Moniava, G. and Gong, Zheng and Hartel, P.H. and Palaniswami, M. (2011) KALwEN: a new practical and interoperable key management scheme for body sensor networks. Security and Communication Networks, 4 (11). pp. 1309-1329. ISSN 1939-0114 *** ISI Impact 0,356 ***

Sedghi, S. and Hartel, P.H. and Jonker, W. and Nikova, S.I. (2011) Privacy Enhanced Access Control by Means of Policy Blinding. In: Proceedings of the 7th International Conference on Information Security Practice and Experience, ISPEC 2011, 30 May - 1 Jun 2011, Guangzhou, China. pp. 108-122. Lecture Notes in Computer Science 6672. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-21030-3

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2011) Model-based Qualitative Risk Assessment for Availability of IT Infrastructures. Software and Systems Modeling, 10 (4). pp. 553-580. ISSN 1619-1366 *** ISI Impact 1,269 ***

2010

Beye, M. and Jeckmans, A.J.P. and Erkin, Z. and Hartel, P.H. and Lagendijk, R.I. and Tang, Qiang (2010) Literature Overview - Privacy in Online Social Networks. Technical Report TR-CTIT-10-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Tang, Qiang and Veldhuis, R.N.J. (2010) Embedding Renewable Cryptographic Keys into Continuous Noisy Data. International Journal of Information Security, 9 (3). pp. 193-208. ISSN 1615-5262 *** ISI Impact 1,094 ***

Dimkov, T. and van Cleeff, A. and Pieters, W. and Hartel, P.H. (2010) Two methodologies for physical penetration testing using social engineering. In: Proceedings of the Annual Computer Security Applications Conference (ACSAC), 06-10 Dec 2010, Austin, Texas, USA. pp. 399-408. ACM. ISBN 978-1-4503-0133-6

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Portunes: representing attack scenarios spanning through the physical, digital and social domain. In: Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10). Revised Selected Papers, 27-28 March 2010, Paphos, Cyprus. pp. 112-129. Lecture Notes in Computer Science 6186. Springer Verlag. ISBN 978-3-642-16074-5

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Laptop theft: a case study on effectiveness of security mechanisms in open organizations. Technical Report TR-CTIT-10-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Portunes: analyzing multi-domain insider threats. Technical Report TR-CTIT-10-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Laptop theft: a case study on effectiveness of security mechanisms in open organizations. In: Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS), 4-8 Oct 2010, Chicago, Illinois, US. pp. 666-668. ACM. ISBN 978-1-4503-0245-6

Dimkov, T. and Pieters, W. and Hartel, P.H. (2010) Effectiveness of physical, social and digital mechanisms against laptop theft in open organizations. In: Proceedings of the 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom 2010), 18-20 Dec 2010, Hangzhou, China. pp. 727-732. IEEE Computer Society. ISBN 978-1-4244-9779-9

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. (2010) A Log Mining Approach for Process Monitoring in SCADA. Technical Report TR-CTIT-10-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hadžiosmanović, D. and Bolzoni, D. and Hartel, P.H. (2010) MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. In: Proceedings of the 13th International Symposium on Recent Advances in Intrusion Detection (RAID 2010), 15-17 Sep 2010, Ottawa, Canada. pp. 500-501. Lecture Notes in Computer Science 6307. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15511-6

Hartel, P.H. (2010) Review of "P. Kumaraguru, J. Cranshaw, A. Acquisti, L. Cranor, J. Hong, M. Blair, T. Pham, School of phish: a real-world evaluation of anti-phishing training". Computing Reviews. CR137644. ISSN 1530-6585

Hartel, P.H. and Junger, M. and Wieringa, R.J. (2010) Cyber-crime Science = Crime Science + Information Security. Technical Report TR-CTIT-10-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Muller, H.L. (2010) Simple algebraic data types for C. Technical Report TR-CTIT-10-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Nikova, S.I. and Jonker, W. and Hartel, P.H. (2010) An Identity-Based Group Signature with Membership Revocation in the Standard Model. Technical Report TR-CTIT-10-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2010) Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. International Journal of Computational Models and Algorithms in Medicine (IJCMAM), 1 (2). pp. 1-21. ISSN 1947-3133

Khatib, M.G. and Hartel, P.H. (2010) Optimizing MEMS-Based Storage Devices for Mobile Battery-Powered Systems. ACM Transactions on Storage, 6 (1). pp. 1-37. ISSN 1553-3077

Khatib, M.G. and Hartel, P.H. and van Dijk, H.W. (2010) Energy-Efficient Streaming Using Non-volatile Memory. Journal of Signal Processing Systems, 60 (2). pp. 149-168. ISSN 1939-8018 *** ISI Impact 0,607 ***

van Liesdonk, P. and Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2010) Computationally Efficient Searchable Symmetric Encryption. In: Proceedings of the Seventh International Workshop on Secure Data Management, SDM 2010, 17 Sep 2010, Singapore. pp. 87-100. Lecture Notes in Computer Science (6358). Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15545-1

Nasution, S. and Hartel, P.H. and Suryana, N. and Azman, N. and Shahib, S. (2010) Trust Level and Routing Selection for Mobile Agents in a Smart Home. In: Second International Conference on Computer Modeling and Simulation (ICCMS), 22-24 Jan. 2010, Sanya, China. pp. 445-450. IEEE Computer Society. ISBN 978-0-7695-3941-6

Sedghi, S. and van Liesdonk, P. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2010) Searching Keywords with Wildcards on Encrypted Data. Technical Report TR-CTIT-10-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and van Liesdonk, P. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2010) Searching Keywords with Wildcards on Encrypted Data. In: Proceedings of the Seventh international Conference on Security and Cryptography for Networks (SCN), 13-15 September 2010, Amalfy, Italy. pp. 138-153. Lecture Notes in Computer Science 6280. Springer Verlag. ISBN 978-3-642-15316-7

2009

Bolzoni, D. and Etalle, S. and Hartel, P.H. (2009) Panacea: Automating Attack Classification for Anomaly-based Network Intrusion Detection Systems. Technical Report TR-CTIT-09-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolzoni, D. and Etalle, S. and Hartel, P.H. (2009) Panacea: Automating Attack Classification for Anomaly-based Network Intrusion Detection Systems. In: Recent Advances in Intrusion Detection (RAID). pp. 1-20. Lecture Notes in Computer Science 5758. Springer Verlag. ISBN 978-3-642-04341-3

Buhan, I.R. and Boom, B.J. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2009) Secure pairing with biometrics. International Journal of Security and Networks, 4 (1/2). pp. 27-42. ISSN 1747-8405

Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Portunes: generating attack scenarios by finding inconsistencies between security policies in the physical, digital and social domain. Technical Report TR-CTIT-09-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dimkov, T. and Pieters, W. and Hartel, P.H. (2009) Two methodologies for physical penetration testing using social engineering. Technical Report TR-CTIT-09-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Hartel, P.H. and Nikova, S.I. and Zhu, Bo (2009) TuLP: A Family of Secure and Practical Message Authentication Codes for Body Sensor Networks. Technical Report TR-CTIT-09-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gong, Zheng and Hartel, P.H. and Nikova, S.I. and Zhu, Bo (2009) Towards Secure and Practical MACs for Body Sensor Networks. In: 10th International Conference on Cryptology in India (INDOCRYPT), 13-16 Dec 2009, New Delhi, India. pp. 182-198. Lecture Notes in Computer Science 5922. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-10627-9

Hartel, P.H. (2009) On the Cost and Benefits of Building a High-Quality Institutional Repository. Technical Report TR-CTIT-09-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. (2009) Review of "Overcoming the insider: reducing employee computer crime through situational crime prevention, Willison R., Siponen M.". Computing Reviews. CR137444. ISSN 1530-6585

Haverkort, B.R.H.M. and Remke, A.K.I. and Hartel, P.H. (2009) Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren. Bits en chips, 11 (16). pp. 23-23. ISSN 1879-6443

Ibraimi, L. and Petkovic, M. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2009) Mediated Ciphertext-Policy Attribute-Based Encryption and its Application (extended version). Technical Report TR-CTIT-09-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Petkovic, M. and Nikova, S.I. and Hartel, P.H. and Jonker, W. (2009) Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. In: Information Security Applications, 25-27 August 2009, Busan, Korea. pp. 309-323. Lecture Notes in Computer Science 5932/2009. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-10837-2

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2009) Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. In: 5th Information Security Practice and Experience Conference (ISPEC), 12-15 April 2009, Xi'an, China. pp. 1-12. Lecture Notes in Computer Science 5451. Springer. ISSN 0302-9743 ISBN 978-3-642-00842-9

Khatib, M.G. and Hartel, P.H. (2009) Policies for Probe-Wear Leveling in MEMS-Based Storage Devices. In: Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), 21-23 Sep 2009, London, UK. pp. 152-161. IEEE Computer Society. ISSN 1526-7539 ISBN 978-1-4244-4928-6

Law, Yee Wei and Palaniswami, M. and van Hoesel, L.F.W. and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2009) Energy-Efficient Link-Layer Jamming Attacks against Wireless Sensor Network MAC Protocols. ACM Transactions on Sensor Networks, 5 (1). 6:1-6:38. ISSN 1550-4859 *** ISI Impact 2,282 ***

Nasution, S. and Hartel, P.H. and Suryana, N. and Azman, N. and Shahib, S. (2009) Trust Level and Routing Selection for Mobile Agents in a Smart Home (Extended version). Technical Report TR-CTIT-09-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nasution, S. and Suryana, N. and Shahib, S. and Abu, N.A. and Hartel, P.H. (2009) The Application of Fuzzy Logic Controller to Compute a Trust Level for Mobile Agents in a Smart Home. In: International Technology, Education and Development Conference (INTED), 9-11 March 2009, Valencia, Spain. 702. International Association of Technology, Education and Development (IATED). ISBN 978-84-612-7578-6

Saffarian, M. and Tang, Qiang and Jonker, W. and Hartel, P.H. (2009) Dynamic User Role Assignment in Remote Access Control. Technical Report TR-CTIT-09-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and van Liesdonk, P. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2009) Adaptively Secure Computationally Efficient Searchable Symmetric Encryption. Technical Report TR-CTIT-09-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2009) A Taxonomy of Service Discovery Systems. In: Context-Aware Computing and Self-Managing Systems. CRC Studies in Informatics. Chapman and Hall, Boca Raton, pp. 43-77. ISBN 1-420-07771-6

Tang, Qiang and Hartel, P.H. and Jonker, W. (2009) Inter-domain Identity-Based Proxy Re-encryption. In: Information Security and Cryptology, 4th International Conference (Inscrypt), December 14-17, 2008, Beijing China. pp. 332-347. Lecture Notes in Computer Science 5487. Springer Verlag. ISBN 978-3-642-01439-0

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2009) Architecture-based Qualitative Risk Analysis for Availability of IT Infrastructures. Technical Report TR-CTIT-09-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. (2008) Controlling Leakage of Biometric Information using Dithering. In: 16th European Signal Processing Conference, 25-29 Aug 2008, Lausanne, Switzerland. 1569105382. EUSIPCO. EURASIP, European Association for Signal, Speech and Image Processing. ISBN 978-2-8399-0450-6

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Tang, Qiang and Veldhuis, R.N.J. (2008) Embedding Renewable Cryptographic Keys into Continuous Noisy Data. In: 10th International Conference on Information and Communications Security, 20 - 22 October, 2008, Birmingham, UK. pp. 294-310. Lecture Notes in Computer Science 5308. Springer. ISBN 978-3-540-88624-2

Dimkov, T. and Tang, Qiang and Hartel, P.H. (2008) On the inability of existing security models to cope with data mobility in dynamic organizations. In: Proceedings of the Workshop on Modeling Security (MODSEC08), 28 Sep 2008, Toulouse. 18. CEUR Workshop Proceedings. ISSN 1613-0073

Dimkov, T. and Tang, Qiang and Hartel, P.H. (2008) On the inability of existing security models to cope with data mobility in dynamic organizations. Technical Report TR-CTIT-08-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Abelmann, L. and Khatib, M.G. (2008) Towards Tamper-Evident Storage on Patterned Media. In: 6th USENIX Conf. on File and Storage Technologies (FAST), Feb. 26-29, 2008, San Jose, California. pp. 283-296. USENIX Association. ISBN 978-1-931971-56-0

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow (with appendix). Technical Report TR-CTIT-08-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W. (2008) Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. In: 8th Int. Conf. on Formal Methods in Computer Aided Design (FMCAD), 17-20 Nov. 2008, Portland, Oregon. pp. 161-170. IEEE Computer Society. ISBN 978-1-4244-2735-2

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) A Type-and-Identity-based Proxy Re-Encryption Scheme and its Application in Healthcare. Technical Report TR-CTIT-08-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) A Type-and-Identity-based Proxy Re-Encryption Scheme and its Application in Healthcare. In: Proceedings of the 5th VLDB Workshop, SDM 2008, August 24, 2008, Auckland, New Zealand. pp. 185-198. Lecture Notes in Computer Science 5159. Springer Verlag. ISBN 978-3-540-85258-2

Ibraimi, L. and Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. Technical Report TR-CTIT-08-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Khatib, M.G. and Engelen, J.B.C. and Hartel, P.H. (2008) Shutdown Policies for MEMS-Based Storage Devices -- Analytical Models. Technical Report TR-CTIT-08-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Khatib, M.G. and Hartel, P.H. (2008) Power Management of MEMS-Based Storage Devices for Mobile Systems. In: Proceedings of the 8th ACM & IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '08), 19-24 Oct 2008, Atlanta, USA. pp. 245-254. ACM. ISBN 978-1-60558-469-0

Khatib, M.G. and Miller, E.L. and Hartel, P.H. (2008) Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems. In: Proceedings of the 8th ACM & IEEE International Conference on Embedded Software (EMSOFT '08), 19-24 Oct 2008, Atlanta, USA. pp. 41-50. ACM. ISBN 978-1-60558-468-3

Law, Yee Wei and Moniava, G. and Gong, Zheng and Hartel, P.H. and Palaniswami, M. (2008) KALwEN: A New Practical and Interoperable Key Management Scheme for Body Sensor Networks. Technical Report TR-CTIT-08-67, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marin-Perianu, R.S. and Hurink, J.L. and Hartel, P.H. (2008) A generalized clustering algorithm for dynamic wireless sensor networks. Technical Report TR-CTIT-08-56, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marin-Perianu, R.S. and Hurink, J.L. and Hartel, P.H. (2008) A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. In: Proceedings of the International Symposium on Parallel and Distributed Processing with Applications (ISPA-08), 10-12 Dec 2008, Sydney, Australia. pp. 863-870. IEEE Computer Society. ISBN 978-0-7695-3471-8

Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2008) Cluster-based service discovery for heterogeneous wireless sensor networks. International Journal of Parallel, Emergent and Distributed Systems, 23 (4). pp. 325-346. ISSN 1744-5760

Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2008) Towards an Information Theoretic Analysis of Searchable Encryption (Extended Version). Technical Report TR-CTIT-08-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sedghi, S. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2008) Towards an Information Theoretic Analysis of Searchable Encryption. In: 10th international conference on information and communication security, 20-22 Oct 2008, Birmingham, UK. pp. 345-360. Lecture Notes in Computer Science 5308. Springer. ISSN 0302-9743 ISBN 978-3-540-88624-2

Tang, Qiang and Hartel, P.H. and Jonker, W. (2008) Inter-domain Identity-based Proxy Re-encryption. Technical Report TR-CTIT-08-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zych, A.K. and Doumen, J.M. and Jonker, W. and Hartel, P.H. and Petkovic, M. (2008) Method of Key Management. Patent WO2008026184 (Assigned).

2007

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Secure Ad-hoc Pairing with Biometrics: SAfE. Technical Report TR-CTIT-07-69, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Constructing practical Fuzzy Extractors using QIM. Technical Report TR-CTIT-07-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Secure Ad-hoc Pairing with Biometrics: SAfE. In: First International Workshop on Security for Spontaneous Interaction, 16. September 2007, Innsbruck, Austria. pp. 450-456. Ubicomp 2007 Workshop Proceedings. ISBN 978-3-00-022599-4

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) From Watermarks to Fuzzy Extractors: a Practical Construction. Technical Report TR-CTIT-07-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Fuzzy extractors for continuous distributions. In: Proceedings of the 2nd ACM Symposium on Information, Computer and Communications Security (ASIACCS), 20-22 March 2007, Singapore. pp. 353-355. ACM. ISBN 1-59593-574-6

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) Feeling Is Believing: A Secure Template Exchange Protocol. In: Advances in Biometrics, International Conference (ICB), 27-29 Aug 2007, Seoul, Korea. pp. 897-906. Lecture Notes in Computer Science 4642. Springer Verlag. ISBN 978-3-540-74548-8

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2007) A unifying view on template protection schemes. In: Proceedings of the 28th Symposium on Information Theory in the Benelux, 24-25 May 2007, Enschede, The Netherlands. pp. 35-42. Werkgemeenschap voor Informatie- en Communicatietechniek. ISBN 978-90-365-2509-1

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2007) Timed Analysis of Security Protocols. Journal of Computer Security, 15 (6). pp. 619-645. ISSN 0926-227X

Hartel, P.H. and Abelmann, L. (2007) Towards compliant data retention with probe storage on patterned media. Technical Report TR-CTIT-07-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Vree, W.G. (2007) Lambda Calculus for Engineers. In: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Radboud University, Nijmegen, pp. 125-138. ISBN 978-90-9022446-6

de Jong, E.K. and Hartel, P.H. (2007) Method and apparatus for deployment of high integrity software using static procedure return addresses. Patent US 7,181,737 (Assigned).

Khatib, M.G. and van der Zwaag, B.J. and Hartel, P.H. and Smit, G.J.M. (2007) Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. Technical Report TR-CTIT-07-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Khatib, M.G. and van der Zwaag, B.J. and Hartel, P.H. and Smit, G.J.M. (2007) Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. In: Proceedings of the 2007 IEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia (ESTImedia), 4-5 Oct 2007, Salzburg, Austria. pp. 7-12. IEEE. ISBN 978-1-4244-1654-7

Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2007) Cluster-based service discovery for heterogeneous wireless sensor networks. Technical Report TR-CTIT-07-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mouthaan, A.J. and Hartel, P.H. (2007) Interim research assessment 2003-2005 - Computer Science. Scientific Report 2007, Faculty of Electrical Engineering, Mathematics and Computer science, University of Twente, Enschede.

Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2007) A Taxonomy of Self-configuring Service Discovery Systems. Technical Report TR-CTIT-07-88, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van der Zwaag, B.J. and Khatib, M.G. and Hartel, P.H. (2007) How migrating 0.0001% of address space saves 12% of energy in hybrid storage. Technical Report A4TR-2007.1, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2006

Bolzoni, D. and Zambon, Emmanuele and Etalle, S. and Hartel, P.H. (2006) Poseidon: a 2-tier Anomaly-based Network Intrusion Detection System. In: 4th IEEE Int. Information Assurance Workshop (IWIA2006), 13-14 Apr 2006, London, UK. pp. 144-156. IEEE Computer Society. ISBN 0 7695 2564 4

Buhan, I.R. and Bazen, A.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems (Poster Paper). In: 2nd Int. Conf. on Biometrics (ICB), Hong Kong, China. pp. 728-736. Lecture Notes in Computer Science 3832. Springer-Verlag. ISBN 3-540-31111-4

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) Feeling is Believing: a location limited channel based on grip pattern biometrics and cryptanalysis. Technical Report TR-CTIT-06-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Doumen, J.M. and Hartel, P.H. and Veldhuis, R.N.J. (2006) Fuzzy extractors for continuous distributions. Technical Report TR-CTIT-06-72, University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Corin, R.J. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Law, Yee Wei and Tokmakoff, A. (2006) LicenseScript: A Logical Language for Digital Rights Management. Annals of telecommunications special issue on Network and Information systems security, 61 (3-4). pp. 284-331. ISSN 0003-4347 *** ISI Impact 0,602 ***

van Hoesel, L.F.W. and Law, Yee Wei and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2006) Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. Technical Report TR-CTIT-06-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2006) Survey and Benchmark of Block Ciphers for Wireless Sensor Networks. ACM Transactions on Sensor Networks, 2 (1). pp. 65-93. ISSN 1550-4859 *** ISI Impact 2,282 ***

Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. Technical Report TR-CTIT-06-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Performance Evaluation of a Cluster-Based Service Discovery Protocol for Heterogeneous Wireless Sensor Networks. Technical Report TR-CTIT-06-61, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marin-Perianu, R.S. and Scholten, J. and Havinga, P.J.M. and Hartel, P.H. (2006) Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. In: Sixth International Workshop on Wireless Local Networks, 14-16 Nov 2006, Tampa, Florida. pp. 931-938. IEEE Computer Society. ISBN 1-4244-0418-5

Sundramoorthy, V. and van de Glind, G.J. and Hartel, P.H. and Scholten, J. (2006) The Performance of a Second Generation Service Discovery Protocol In Response to Message Loss. In: 1st Int. Conf. on Communication System Software and Middleware (COMSWARE), 08-12 Jan. 2006, New Delhi, India. CDROM. IEEE Computer Society. ISBN 0-7803-9574-3

Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2006) On Consistency Maintenance In Service Discovery. In: 20th IEEE Int. Parallel & Distributed Processing Symp. (IPDPS), 25-29 April 2006, Rhodos Island, Greece. Artcile 17. IEEE Computer Society. ISBN 1-4244-0054-6

Sundramoorthy, V. and Tan, C. and Hartel, P.H. and Scholten, J. (2006) FRODO Dt-Spin Models. Technical Report TR-CTIT-06-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zych, A.K. and Doumen, J.M. and Jonker, W. and Hartel, P.H. and Petkovic, M. (2006) Method of Key Management. Patent PH006387, WO-IB2007/053498, EP-06119878.4 (Application).

2005

Bolzoni, D. and Zambon, Emmanuele and Etalle, S. and Hartel, P.H. (2005) Poseidon: A 2-tier Anomaly-based Intrusion Detection System. Technical Report TR-CTIT-05-53, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Bazen, A.M. and Hartel, P.H. and Veldhuis, R.N.J. (2005) A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. Technical Report TR-CTIT-05-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Buhan, I.R. and Hartel, P.H. (2005) The state of the art in abuse of biometrics. Technical Report TR-CTIT-05-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Cheng, Jieyin and Chong, Chuen Ngen and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Nikolaus, S. (2005) STREAMTO: Streaming Content using a Tamper-Resistant Token (Workshop paper). In: 20th IFIP TC11 Int. Conf. on Security and Privacy in the Age of Ubiquitous Computing (SEC), Makuhari-Messe, Chiba, Japan. pp. 601-612. Springer-Verlag. ISBN 0-387-25658-X

Chong, Chuen Ngen and Corin, R.J. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Law, Yee Wei and Tokmakoff, A. (2005) LicenseScript: A Logical Language for Digital Rights Management. Technical Report TR-CTIT-05-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2005) Service Brokerage with Prolog (Poster paper). In: 7th Int. Conf. on Enterprise Information Systems (ICEIS), Miami, Florida, USA. pp. 409-412. INSTICC Press. ISBN 972-8865-19-8

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2005) Timed Analysis of Security Protocols. Technical Report TR-CTIT-05-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Tran, H.M. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and den Hartog, J.I. (2005) Nonmonotonic Trust Management for P2P Applications. Technical Report TR-CTIT-05-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Czenko, M.R. and Tran, H.M. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and den Hartog, J.I. (2005) Nonmonotonic Trust Management for P2P Applications. In: 1st Int. Workshop on Security and Trust Management (STM), Milan, Italy. pp. 113-130. Electronic Notes in Theoretical Computer Science 157. Elsevier Science. ISSN 1571-0661

Hartel, P.H. (2005) A trace semantics for Positive Core XPath. Technical Report TR-CTIT-05-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. (2005) A Trace Semantics for Positive Core XPath. In: 12th Int. Symp. on Temporal Representation and Reasoning (TIME), Burlington, Vermont. pp. 103-112. IEEE Computer Society. ISBN 0-7695-2370-6

de Jong, E.K. and Hartel, P.H. and Peyret, P. and Cattaneo, P. (2005) Java Card: An analysis of the most successful smart card operating system. Technical Report TR-CTIT-05-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2005) Benchmarking Block Ciphers for Wireless Sensor Networks (Extended Abstract). Technical Report TR-CTIT-05-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Hartel, P.H. and Etalle, S. and Havinga, P.J.M. and Di Pietro, R. and Mancini, L.V. (2005) Overview of Security Research in EYES. Technical Report TR-CTIT-05-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Hartel, P.H. and den Hartog, J.I. and Havinga, P.J.M. (2005) Link-layer jamming attacks on S-MAC. In: 2nd European Workshop on Wireless Sensor Networks (EWSN), Istanbul, Turkey. pp. 217-225. IEEE Computer Society. ISBN 0-7803-8801-1

Law, Yee Wei and van Hoesel, L.F.W. and Doumen, J.M. and Hartel, P.H. and Havinga, P.J.M. (2005) Energy-Efficient Link-Layer Jamming Attacks against Wireless Sensor Network MAC Protocols. In: 3rd ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), Alexandria, Virginia. pp. 76-88. ACM Press. ISBN 1-59593-227-5

Marin-Perianu, R.S. and Hartel, P.H. and Scholten, J. (2005) A Classification of Service Discovery Protocols. Technical Report TR-CTIT-05-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and van de Glind, G.J. and Hartel, P.H. and Scholten, J. (2005) The Performance of a Second Generation Service Discovery Protocol In Response to Message Loss. Technical Report TR-CTIT-05-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and Hartel, P.H. and Scholten, J. (2005) On Consistency Maintenance In Service Discovery. Technical Report TR-CTIT-05-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and Tan, C. and Hartel, P.H. and den Hartog, J.I. and Scholten, J. (2005) Functional Principles of Registry-based Service Discovery. Technical Report TR-CTIT-05-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and Tan, C. and Hartel, P.H. and den Hartog, J.I. and Scholten, J. (2005) Functional Principles of Registry-based Service Discovery. In: 30th Annual IEEE Conf. on Local Computer Networks (LCN), Sydney, Australia. pp. 209-217. IEEE Computer Society. ISBN 0-7695-2421-4

Zych, A.K. and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2005) A Diffie-Hellman based Key Management Scheme for Hierarchical Access Control. Technical Report TR-CTIT-05-57, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2004

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. Technical Report TR-CTIT-04-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. Information Systems Security Journal, 13 (3). pp. 14-21. ISSN 1065-898X

Brinkman, R. and Feng, Ling and Doumen, J.M. and Hartel, P.H. and Jonker, W. (2004) Efficient Tree Search in Encrypted Data. In: Proceedings of the 2nd International Workshop on Security In Information Systems (WOSIS), 13-14 Apr 2004, Porto, Portugal. pp. 126-135. INSTICC Press. ISBN 972-8865-07-4

Cheng, Jieyin and Chong, Chuen Ngen and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Nikolaus, S. (2004) STREAMTO: Streaming Content using a Tamper-Resistant Token. Technical Report TR-CTIT-04-47, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2004) Inter-library Service Brokerage in LicenseScript. Technical Report TR-CTIT-04-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Joosten, R. and Kleinhuis, G. (2004) Service Brokerage with Prolog. Technical Report TR-CTIT-04-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Ren, B. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) License Protection with a Tamper-Resistant Token. Technical Report TR-CTIT-04-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Ren, B. and Doumen, J.M. and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) License protection with a tamper-resistant token. In: 5th Workshop on Information Security Applications (WISA), Jeju Island, Korea. pp. 223-237. Springer-Verlag. ISBN 3-540-24015-2

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. Technical Report TR-CTIT-04-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. In: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Fairfax, Virginia. pp. 23-32. ACM Press. ISBN 1-58113-971-3

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. Technical Report TR-CTIT-04-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2

Hartel, P.H. and Muller, H.L. and Glaser, H. (2004) The Functional C Experience. Journal of Functional Programming, 14 (2). pp. 129-135. ISSN 0956-7968 *** ISI Impact 1,370 ***

Kalker, T. and Epema, D.H.J. and Hartel, P.H. and Lagendijk, R.L. and van Steen, M. (2004) Music2Share - Copyright-Compliant Music Sharing in P2P Systems. Proceedings of the IEEE Special Issue on Digital Rights Management, 92 (6). pp. 961-970. ISSN 0018-9219 *** ISI Impact 5,096 ***

Law, Yee Wei and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Corin, R.J. (2004) Licensing Structured Data with Ease. In: 2nd IFIP TC6 WG6.11 Int. Workshop for Technology, Economy, Social and Legal Aspects of Virtual Goods, Ilmenau, Germany. Technical Univ. Ilmenau. ISBN not assigned

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2004) Survey and Benchmark of Block Ciphers for Wireless Sensor Networks. Technical Report TR-CTIT-04-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Doumen, J.M. and Hartel, P.H. (2004) Benchmarking Block Ciphers for Wireless Sensor Networks (Extended Abstract). In: 1st IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems (MASS), 25-27 Oct. 2004, Fort Lauderdale, Florida. pp. 447-456. IEEE Computer Society. ISBN 0-7803-8815-1

Law, Yee Wei and Hartel, P.H. and den Hartog, J.I. and Havinga, P.J.M. (2004) Link-layer Jamming Attacks on S-MAC. Technical Report TR-CTIT-04-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Veldhuis, R.N.J. and Bazen, A.M. and Kauffman, J.A. and Hartel, P.H. (2004) Biometric verification based on grip-pattern recognition. Technical Report TR-CTIT-04-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Veldhuis, R.N.J. and Bazen, A.M. and Kauffman, J.A. and Hartel, P.H. (2004) Biometric verification based on grip-pattern recognition. (Invited) In: IS&T/SPIE 16th Annual Symp. on Electronic Imaging - Security, Steganography, and Watermarking of Multimedia Contents, San Jose, California. pp. 634-641. SPIE -- The Int. Society for Optical Engineering. ISBN 0-8194-5209-2

2003

Brinkman, R. and Feng, Ling and Etalle, S. and Hartel, P.H. and Jonker, W. (2003) Experimenting with linear search in encrypted data. Technical Report TR-CTIT-03-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Jonker, W. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language and its Semantics. Technical Report TR-CTIT-03-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Jonker, W. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language and its Semantics. In: 3rd Int. Conf. on Web Delivering of Music (WEDELMUSIC), Leeds, UK. pp. 122-129. IEEE Computer Society. ISBN 0-7695-1935-0

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language. Technical Report TR-CTIT-03-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Corin, R.J. and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) LicenseScript: A Novel Digital Rights Language. In: IFIP TC6 WG6.11 Int. Workshop for Technology, Economy, Social and Legal Aspects of Virtual Goods, Ilmenau, Germany. pp. 104-115. Technical Univ. Ilmenau.

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) Comparing Logic-based and XML-based Rights Expression Languages. Technical Report TR-CTIT-03-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) Comparing Logic-based and XML-based Rights Expression Languages. In: Confederated Int. Workshops: On The Move to Meaningful Internet Systems (OTM), Catania, Sicily, Italy. pp. 779-792. Springer-Verlag. ISBN 3-540-20494-6

Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Law, Yee Wei (2003) Approximating Fair Use in LicenseScript. In: 6th Int. Conf. of Asian Digital Libraries (ICADL), Kuala Lumpur, Malaysia. pp. 432-443. Springer-Verlag. ISBN 3-540-20608-6

Chong, Chuen Ngen and Law, Yee Wei and Etalle, S. and Hartel, P.H. (2003) Approximating Fair Use in LicenseScript. Technical Report TR-CTIT-03-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Peng, Z. and Hartel, P.H. (2003) Secure Audit Logging with Tamper-Resistant Hardware. In: 18th IFIP TC11 Int. Conf. on Information Security and Privacy in the Age of Uncertainty (SEC), Athens, Greece. pp. 73-84. Kluwer Academic Publishers. ISBN 1-4020-7449-2

Corin, R.J. and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. (2003) How to pay in LicenseScript. Technical Report TR-CTIT-03-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. Technical Report TR-CTIT-03-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 129-143. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2003) On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract). Technical Report TR-CTIT-03-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

de Jong, E.K. and Hartel, P.H. (2003) Method and apparatus for deployment of high integrity software using static procedure return addresses. Patent US20030177474 (Application).

Law, Yee Wei and Chong, Chuen Ngen and Etalle, S. and Hartel, P.H. and Corin, R.J. (2003) Licensing Structured Data with Ease. Technical Report TR-CTIT-03-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Corin, R.J. and Etalle, S. and Hartel, P.H. (2003) A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. Technical Report TR-CTIT-03-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Law, Yee Wei and Corin, R.J. and Etalle, S. and Hartel, P.H. (2003) A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. In: 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC), Venice, Italy. pp. 27-39. Springer-Verlag. ISBN 3-540-20123-8

Law, Yee Wei and Etalle, S. and Hartel, P.H. (2003) Assessing Security in Energy-Efficient Sensor Networks. In: 18th IFIP TC11 Int. Conf. on Information Security and Privacy in the Age of Uncertainty (SEC), May 26-28, 2003, Athens, Greece. pp. 459-463. Kluwer Academic Publishers. ISBN 1-4020-7449-2

Sundramoorthy, V. and Scholten, J. and Jansen, P.G. and Hartel, P.H. (2003) Service Discovery At Home. Technical Report TR-CTIT-03-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sundramoorthy, V. and Scholten, J. and Jansen, P.G. and Hartel, P.H. (2003) Service discovery at home. In: 4th Int. Conf. on Information, Communications & Signal Processing and 4th IEEE Pacific-Rim Conf. On Multimedia (ICICS/PCM), Singapore. pp. 1929-1933. IEEE Computer Society. ISBN 0-7803-8185-8

2002

Abelmann, L. and Chong, Chuen Ngen and Hartel, P.H. and Lodder, J.C. (2002) Design Rationale for Secure Probe Storage based on Patterned Magnetic Media. Technical Report TR-CTIT-02-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and van Buuren, R. and Hartel, P.H. and Kleinhuis, G. (2002) Security Attributes Based Digital Rights Management. Technical Report TR-CTIT-02-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and van Buuren, R. and Hartel, P.H. and Kleinhuis, G. (2002) Security Attributes Based Digital Rights Management. In: Joint Int. Workshop on Interactive Distributed Multimedia Systems / Protocols for Multimedia Systems (IDMS/PROMS), Coimbra, Portugal. pp. 339-352. Springer-Verlag. ISBN 3-540-00169-7

Chong, Chuen Ngen and Law, Yee Wei and Etalle, S. and Hartel, P.H. (2002) LicenseScript - A Language and Framework for Calculating Licenses on Information over Constrained Domains. Technical Report TR-CTIT-02-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Chong, Chuen Ngen and Peng, Z. and Hartel, P.H. (2002) Secure Audit Logging with Tamper-Resistant Hardware. Technical Report TR-CTIT-02-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2002) Using Trace Formulae for Security Protocol Design. Technical Report TR-CTIT-02-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dulman, S.O. and Nieberg, T. and Havinga, P.J.M. and Hartel, P.H. (2002) Multipath Routing for Data Dissemination in Energy Efficient Sensor Networks. Technical Report TR-CTIT-02-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Jansen, P.G. and Scholten, J. and Wijnberg, J. (2002) A Real-Time Ethernet Network at Home. Technical Report TR-CTIT-02-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Jansen, P.G. and Scholten, J. and Wijnberg, J. (2002) A Real-Time Ethernet Network at Home. In: Research report 36/2002, Vienna, Austria. pp. 5-8. Real-Time Systems Group.

Hartel, P.H. and Muller, H.L. and Glaser, H. (2002) The Functional "C" experience. Technical Report TR-CTIT-02-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Henderson, N.J. and Papakostas, T.V. and White, N.M. and Hartel, P.H. (2002) Polymer Thick-Film Sensors: Possibilities for Smartcard Biometrics. Technical Report TR-CTIT-02-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Henderson, N.J. and Papakostas, T.V. and White, N.M. and Hartel, P.H. (2002) Low-Cost Planar PTF Sensors for the Identity Verification of Smartcard Holders. (Invited) In: 1st IEEE Int. Conf. on Sensors, Orlando, Florida. pp. 1614-1619. IEEE Computer Society. ISBN 0-7803-7455-X

Henderson, N.J. and White, N.M. and Veldhuis, R.N.J. and Hartel, P.H. and Slump, C.H. (2002) Sensing pressure for authentication. Technical Report TR-CTIT-02-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Henderson, N.J. and White, N.M. and Veldhuis, R.N.J. and Hartel, P.H. and Slump, C.H. (2002) Sensing pressure for authentication. In: 3rd IEEE Benelux Signal Processing Symp. (SPS), Leuven, Belgium. pp. 241-244. ISBN not assigned

Law, Yee Wei and Etalle, S. and Hartel, P.H. (2002) Key Management with Group-Wise Pre-Deployed Keying and Secret Sharing Pre-Deployed Keying. Technical Report TR-CTIT-02-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Poll, E. and Hartel, P.H. and de Jong, E.K. (2002) A Java Reference Model of Transacted Memory for Smart Cards. Technical Report TR-CTIT-02-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Poll, E. and Hartel, P.H. and de Jong, E.K. (2002) A Java Reference Model of Transacted Memory for Smart Cards. In: 5th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), San Jose, California. pp. 75-86. USENIX Association. ISBN 1-931971-04-8

Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Sundramoorthy, V. (2002) Multimedia QoS in low-cost Home Networks. Technical Report TR-CTIT-02-43, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Scholten, J. and Jansen, P.G. and Hanssen, F.T.Y. and Hartel, P.H. and Hattink, T. and Sundramoorthy, V. (2002) Multimedia QoS in low-cost home networks. In: 27th Annual IEEE Conf. on Local Computer Networks (LCN), Tampa, Florida. pp. 327-328. IEEE Computer Society. ISBN 0-7695-1591-6

2001

Bolks, M. and Hanssen, F.T.Y. and Abelmann, L. and Havinga, P.J.M. and Hartel, P.H. and Jansen, P.G. and Lodder, J.C. and Smit, G.J.M. (2001) Micro Scanning Probe Array Memory. Technical Report TR-CTIT-01-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bolks, M. and Hanssen, F.T.Y. and Abelmann, L. and Havinga, P.J.M. and Hartel, P.H. and Jansen, P.G. and Lodder, J.C. and Smit, G.J.M. (2001) Micro Scanning Probe Array memory µSPAM. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 17-26. Technology Foundation STW. ISBN 90-73461-26-X

Domingo-Ferrer, J. and Hartel, P.H. (2001) Current directions in smart cards. Computer Networks, 36 (4). pp. 377-379. ISSN 1389-1286 *** ISI Impact 1,176 ***

Field, A.N. and Hartel, P.H. (2001) On the evaluation of Web Radio. Technical Report TR-CTIT-01-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Field, A.N. and Hartel, P.H. and Mooij, W.G.P. (2001) Personal DJ, an Architecture for Personalized Content Delivery. Technical Report TR-CTIT-01-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Field, A.N. and Hartel, P.H. and Mooij, W.G.P. (2001) Personal DJ, an Architecture for personalised content delivery. In: 10th Int. World Wide Web Conf. (WWW), Hongkong. pp. 1-7. ACM Press. ISBN 1-58113-348-0

Glaser, H. and Hartel, P.H. and Leuschel, M. and Martin, A. (2001) Declarative Languages in Education. In: Encyclopaedia of Microcomputers. Marcel Dekker Inc, New York, pp. 79-102. ISBN 0-8247-2726-6

Hanssen, F.T.Y. and Hartel, P.H. and Jansen, P.G. and Scholten, J. and Vervoort, W.A. (2001) A Real-time Network at Home. Technical Report TR-CTIT-01-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hanssen, F.T.Y. and Hartel, P.H. and Jansen, P.G. and Scholten, J. and Vervoort, W.A. (2001) A Real time network at home. In: 2nd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 67-72. Technology Foundation STW. ISBN 90-73461-26-X

Hartel, P.H. (2001) Veiligheid in Gedistribueerde Systemen. University of Twente. ISBN not assigned

Hartel, P.H. and Butler, M.J. and de Jong, E.K. and Longley, M. (2001) Transacted Memory for Smart Cards. In: 10th Formal Methods for Increasing Software Productivity (FME), Berlin, Germany. pp. 478-499. Springer-Verlag. ISBN 3-540-41791-5

Hartel, P.H. and Jacobs, B.P.F. (2001) De Smartcard van 2010. Smart Cards in Business, 6 (7). pp. 14-16. ISSN 1569-1179

Hartel, P.H. and Moreau, L.A.V. (2001) Formalising the safety of Java, the Java Virtual Machine and Java Card. Technical Report TR-CTIT-01-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and Moreau, L.A.V. (2001) Formalizing the Safety of Java, the Java Virtual Machine and Java Card. ACM Computing Surveys, 33 (4). pp. 517-558. ISSN 0360-0300 *** ISI Impact 7,806 ***

Henderson, N.J. and Papakostas, T.V. and White, N.M. and Hartel, P.H. (2001) Polymer thick-film sensors: Possibilities for smartcard biometrics. In: 11th Conf. on Sensors and Their Applications, London, UK. pp. 83-88. IOP Publishing. ISBN 0750308214

Henderson, N.J. and White, N.M. and Hartel, P.H. (2001) iButton enrolment and verification times for the pressure sequence smartcard biometric. In: 2nd Conf. Smart card Programming and Security (E-smart), Cannes, France. pp. 124-134. Lecture Notes in Computer Science 2140. Springer-Verlag. ISBN 3-540-42610-8

2000

Diehl, S. and Hartel, P.H. and Sestoft, P. (2000) Abstract Machines for Programming Language Implementation. Future Generation Computer Systems, 16 (7). pp. 739-751. ISSN 0167-739X *** ISI Impact 2,365 ***

Glaser, H. and Hartel, P.H. and Garratt, P.W. (2000) Programming by Numbers -- A Programming Method for Complete Novices. The Computer Journal, 43 (4). pp. 252-265. ISSN 0010-4620 *** ISI Impact 1,327 ***

Hartel, P.H. (2000) Formalising Java safety -- An overview. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), Bristol, UK. pp. 115-134. Kluwer Academic Publishers. ISBN 0-7923-7953-5

Hartel, P.H. and de Jong, E.K. (2000) A programming and a modelling perspective on the evaluation of Java Card implementations. In: 1st Java on Smart Cards: Programming and Security (Java Card Workshop), Cannes, France. pp. 52-72. Springer-Verlag. ISBN 3-540-42167-X

Henderson, N.J. and Hartel, P.H. (2000) Pressure Sequence - A Novel Method of Protecting Smart Cards. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), Bristol, UK. pp. 241-256. Kluwer Academic Publishers. ISBN 0-7923-7953-5

1999

Butler, M.J. and Hartel, P.H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems (TOPLAS), 21 (3). pp. 417-429. ISSN 0164-0925 *** ISI Impact 1,167 ***

Etalle, S. and Hartel, P.H. and Vree, W.G. (1999) Declarative Solutions to Partitioned-grid Problems. Software: Practice and Experience, 29 (13). pp. 1173-1200. ISSN 0038-0644 *** ISI Impact 0,573 ***

Hartel, P.H. (1999) LETOS -- A Lightweight Execution Tool for Operational Semantics. Software: Practice and Experience, 29 (15). pp. 1379-1416. ISSN 0038-0644 *** ISI Impact 0,573 ***

Hartel, P.H. (1999) Review of "C. Okasaki, Purely Functional Data structures". Science of Computer Programming, 34. pp. 75-77. ISSN 0167-6423

Hartel, P.H. (1999) Review of "G. Cousineau and M. Mauny, The functional approach to programming". Journal of Functional Programming, 9 (4). pp. 479-481. ISSN 0956-7968

Hartel, P.H. (1999) LETOS -- A Lightweight Execution Tool for Operational Semantics. Technical Report DSSE-TR-97-1, Declarative Systems and Software Engineering Group, Univ. of Southampton. ISSN not assigned

Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B. (1999) Questions and Answers About Ten Formal Methods. In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy. pp. 179-203. ERCIM/CNR. ISBN 88-7958-009-4

Hartel, P.H. and Butler, M.J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java. Springer-Verlag, Berlin, pp. 313-352. ISBN 3-540-66158-1

Revill, J.D. and Hartel, P.H. (1999) Modelling a Java Ring based implementation of an N-Count payment system. In: 2nd Workshop on Security in Communication Networks, Amalfi, Italy. pp. 139-150. Univ. of Salerno.

1998

Hartel, P.H. and Hill, J. and Sims, M. (1998) An Operational Model of QuickPay. In: 3rd Smart card research and advanced application (CARDIS), Louvain la Neuve, Belgium. pp. 19-28. Springer-Verlag. ISBN 3 540 67923 5

1997

Alberda, M.I. and Hartel, P.H. and de Jong, E.K. (1997) Using Formal Methods to Cultivate Trust in Smart Card Operating Systems. Future Generation Computer Systems, 13 (1). pp. 39-54. ISSN 0167-739X *** ISI Impact 2,365 ***

Butler, M.J. and Hartel, P.H. and de Jong, E.K. and Longley, M. (1997) Applying Formal Methods to the Design of Smart Card Software. Technical Report DSSE-TR-97-8, Department of Electronics and Computer Science, University of Southampton, University of Southampton. ISSN not assigned

Hartel, P.H. (1997) Review of "G. Michaelson, Elementary Standard ML". The Knowledge Engineering Review, 12 (1). pp. 99-100. ISSN 0269-8889

Hartel, P.H. (1997) Special issue: Smart cards. Future Generation Computer Systems, 13 (1). pp. 1-2. ISSN 0167-739X *** ISI Impact 2,365 ***

Hartel, P.H. and Muller, H.L. (1997) Functional C. Addison Wesley Longman, Harlow, UK. ISBN 0-201-41950-5

Mountjoy, J. and Hartel, P.H. and Corporaal, H. (1997) Modular Operational Semantic Specification of Transport Triggered Architectures. In: 13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain. pp. 260-279. Chapman & Hall. ISBN 0412788101

1996

Glaser, H. and Hartel, P.H. and de Jong, E.K. (1996) Structuring and Visualising an IC-card Security Standard. In: 2nd Smart card research and advanced application (CARDIS), Amsterdam, The Netherlands. pp. 89-110. CWI (Centrum voor Wiskunde en Informatica). ISBN 90 6196 465 2

Hartel, P.H. and Feeley, M. and Alt, M. and Augustsson, L. and Baumann, P. and Beemster, M. and Chailloux, E. and Flood, C.H. and Grieskamp, W. and van Groningen, J.H.G. and Hammond, K. and Hausman, B. and Ivory, M.Y. and Jones, R.E. and Kamperman, J.F.T. and Lee, Peter and Leroy, X. and Lins, R.D. and Loosemore, S. and Röjemo, N. and Serrano, M. and Talpin, J.-P. and Thackray, J. and Thomas, S. and Walters, P. and Weis, P. and Wentworth, P. (1996) Benchmarking Implementations of Functional Languages with "Pseudoknot". Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956-7968 *** ISI Impact 1,370 ***

Hartel, P.H. and Glaser, H. (1996) The Resource constrained shortest path problem implemented in a lazy functional language. Journal of Functional Programming, 6 (1). pp. 29-45. ISSN 0956-7968 *** ISI Impact 1,370 ***

Hartel, P.H. and de Jong, E.K. (1996) Smart Cards and Card Operating Systems. In: UNIFORUM, San-Francisco, California. pp. 725-730. Uniforum.

1995

Hartel, P.H. (1995) Benchmarking implementations of lazy functional languages II -- Two years later. In: 7th Implementation of Functional Languages, Marstrand, Sweden. pp. 63-68. Dept. of Comp. Sci.

Hartel, P.H. and van Es, B. and Tromp, T.J.M. (1995) Basic proof skills of computer science students. In: 1st Functional Programming languages in Education (FPLE), Nijmegen, The Netherlands. pp. 269-287. Springer-Verlag. ISBN 3-540-60675-0

Hartel, P.H. and Hertzberger, L.O. (1995) Paradigms and laboratories in the core computer science curriculum: An overview. ACM SIGCSE bulletin, 27 (4). pp. 13-20. ISSN 0097-8418

Hartel, P.H. and Hofman, R.F.H. and Langendoen, K.G. and Muller, H.L. and Vree, W.G. and Hertzberger, L.O. (1995) A toolkit for parallel functional programming. Concurrency: Practice and experience, 7 (8). pp. 765-793. ISSN 1040-3108

Hartel, P.H. and Plasmeijer, M.J. (1995) State-of-the-art applications of pure functional programming languages (editorial). Journal of Functional Programming, 5 (3). pp. 279-281. ISSN 0956-7968 *** ISI Impact 1,370 ***

Haydarlou, A.R. and Hartel, P.H. (1995) Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language. Journal of Functional Programming, 1 (1). ISSN 0956-7968 *** ISI Impact 1,370 ***

McEvoy, H.E. and Hartel, P.H. (1995) Local Linear Logic for Locality Consciousness in Multiset Transformation. In: 7th Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht, The Netherlands. pp. 357-379. Springer-Verlag. ISBN 3-540-60359-X

Muller, H.L. and Hartel, P.H. and Hertzberger, L.O. (1995) Using a functional notation to specify abstract simulation models. In: Abstract machine models for highly parallel computers. Oxford Univ. Press, Oxford, UK, pp. 243-258. ISBN 0 19 853796 4

Vree, W.G. and Hartel, P.H. (1995) Communication lifting: fixed point computation for parallelism. Journal of Functional Programming, 5 (4). pp. 549-581. ISSN 0956-7968 *** ISI Impact 1,370 ***

1994

Hartel, P.H. and Glaser, H. and Wild, J.M. (1994) Compilation of functional languages using flow graph analysis. Software: Practice and Experience, 24 (2). pp. 127-173. ISSN 0038-0644 *** ISI Impact 0,573 ***

Hartel, P.H. and de Jong, E.K. (1994) Towards testability in smart card operating system design. In: 1st Smart card research and advanced application (CARDIS), Lille, France. pp. 73-88. Univ. de Lille.

Hartel, P.H. and Vree, W.G. (1994) Experiments with destructive updates in a lazy functional language. Computer Languages, 20 (3). pp. 177-192. ISSN 0096-0551

1993

Beemster, M. and Hartel, P.H. and Hertzberger, L.O. and Hofman, R.F.H. and Langendoen, K.G. and Li, L.L. and Milikowski, R. and Vree, W.G. and Barendregt, H.P. and Mulder, J.C. (1993) Experience with a clustered parallel reduction machine. Future Generation Computer Systems, 9 (3). pp. 175-200. ISSN 0167-739X *** ISI Impact 2,365 ***

Hartel, P.H. and Glaser, H. and Wild, J.M. (1993) FAST compiler user's guide. In: FAST: Functional programming for arrays of transputers -- The collected papers. Department of Electronics and Computer Science, University of Southampton, Southampton, UK, pp. 247-264.

Hartel, P.H. and Langendoen, K.G. (1993) Benchmarking implementations of lazy functional languages. In: 6th Functional programming languages and computer architecture (FPCA), Copenhagen, Denmark. pp. 341-349. ACM Press. ISBN 0-89791-595-X

1992

Hartel, P.H. and Vree, W.G. (1992) Arrays in a lazy functional language -- a case study: the fast Fourier transform. In: 2nd Arrays, functional languages and parallel systems (ATABLE), Montreal, Canada. pp. 52-66. Publication 841. ISBN not assigned

Langendoen, K.G. and Hartel, P.H. (1992) FCG: a code generator for lazy functional languages. In: Compiler construction (CC), Paderborn, Germany. pp. 278-296. Springer-Verlag. ISBN 3 540 55984 1

1991

Hartel, P.H. (1991) Performance of lazy combinator graph reduction. Software: Practice and Experience, 21 (3). pp. 299-329. ISSN 0038-0644 *** ISI Impact 0,573 ***

Hartel, P.H. and Glaser, H. and Wild, J.M. (1991) On the benefits of different analyses in the compilation of functional languages. In: 3rd Implementation of functional languages on parallel architectures, Southampton, UK. pp. 123-145.

Wild, J.M. and Glaser, H. and Hartel, P.H. (1991) Statistics on storage management in a lazy functional language implementation. In: 3rd Parallel and distributed processing (WP&DP), Sofia, Bulgaria. pp. 73-87. North Holland. ISBN 0 444 89157 9

1990

Glaser, H. and Hartel, P.H. and Wild, J.M. (1990) A pragmatic approach to the analysis and compilation of lazy functional languages. In: 2nd Parallel and distributed processing (WP&DP), Sofia, Bulgaria. pp. 169-184. North Holland. ISBN 0444888683

Hartel, P.H. (1990) A comparison of three garbage collection algorithms. Structured Programming, 11 (3). pp. 117-128. ISSN 0935-1183

1989

Hartel, P.H. (1989) Performance analysis of storage management in combinator graph reduction. PhD thesis, Dept. of Comp. Sys, Univ. of Amsterdam.

Hartel, P.H. and Smid, M.H.M. and Torenvliet, L. and Vree, W.G. (1989) A parallel functional implementation of range queries. In: Computing science in The Netherlands, Utrecht, The Netherlands. pp. 173-189. CWI (Centrum voor Wiskunde en Informatica). ISBN not assigned

1988

Hartel, P.H. (1988) The average size of ordered binary subgraphs. In: Graph-theoretic concepts in computer science, WG 88, Amsterdam, The Netherlands. pp. 327-351. Springer-Verlag. ISBN 3 540 50728 0

Hartel, P.H. and Veen, A.H. (1988) Statistics on graph reduction of SASL programs. Software: Practice and Experience, 18 (3). pp. 239-253. ISSN 0038-0644 *** ISI Impact 0,573 ***

Hartel, P.H. and Vree, W.G. (1988) Parallel graph reduction for divide-and-conquer applications -- Part II: program performance. PRM project internal report D-20, Univ. of Amsterdam. ISSN not assigned

Vree, W.G. and Hartel, P.H. (1988) Parallel graph reduction for divide-and-conquer applications -- Part I: program transformation. PRM project internal report D-15, Univ. of Amsterdam. ISSN not assigned

1987

Barendregt, H.P. and van Eekelen, M.C.J.D. and Hartel, P.H. and Hertzberger, L.O. and Plasmeijer, M.J. and Vree, W.G. (1987) The Dutch parallel reduction machine project. Future Generation Computer Systems, 3 (4). pp. 261-270. ISSN 0167-739X *** ISI Impact 2,365 ***

1985

van Eekelen, M.C.J.D. and Hartel, P.H. and Plasmeijer, M.J. (1985) Report of a trip to the United Kingdom. Technical Report 85, Department of Computer Science, University of Nijmegen.

Hartel, P.H. and Hertzberger, L.O. and Mooij, W.G.P. and Tuynman, F. (1985) Een multiprocessor testbed systeem. In: Derde NGI-SION Symp.: uitdaging aan de informatica, Utrecht, The Netherlands. pp. 222-230. Nederlands genootschap voor informatica. ISBN 90 70621 17 7

Hartel, P.H. and Starreveld, A.G. (1985) Modula-2 implementation overview. Journal Pascal, Ada and Modula-2, 4 (4). pp. 9-23. ISSN 0747-1351

1984

Hartel, P.H. and van Harmelen, F.A. (1984) The analysis of modular structures with respect to their interconnect topology. Interfaces in computing, 1 (2). pp. 81-91. ISSN 0252-7308

1983

van den Bos, J. and Plasmeijer, M.J. and Hartel, P.H. (1983) Input-output tools: A language facility for interactive and real-time systems. IEEE Transactions on Software Engineering, SE-9 (3). pp. 247-259. ISSN 0098-5589 *** ISI Impact 2,216 ***

Hartel, P.H. (1983) Comparing Pascal and Modula-2 as systems programming languages. In: Programming languages and systems design, Dresden, East Germany. pp. 187-198. North Holland. ISBN 0 444 86794 5

Hartel, P.H. (1983) Le langage Modula-2, concepts et expérience. In: Forum sur la micro informatique en physique nucléaire et physique des particules, Paris, France. pp. 323-331. Collège de France.

1982

Hartel, P.H. (1982) Wtool -- An implementation of input tools in Modula-2 and Pascal. Technical Report 41, Computer Science Department, University of Nijmegen, Nijmegen. ISSN not assigned

1981

Hartel, P.H. (1981) Pascal for systems programmes. In: 32nd Conf. European control data users (ECODU 32), Montreux, Switzerland. 2.54-2.61. Control Data corporation. ISBN not assigned

1977

Hartel, P.H. (1977) MUST -- Een macro vertaler. Technical Report 13, SARA, Amsterdam.