Bolzoni, Damiano, Etalle, Sandro, Hartel, Pieter
Anomaly-based intrusion detection systems are usually criticized because they lack a classication of attack, thus security teams have to manually inspect any raised alert to classify it. We present a...
Quantum computers are a proposed means of using quantum-mechanical effects to achieve efficient computation. Quantum-mechanical systems may be in superpositions of several different states...
Ricardo Corin, Ro Etalle, Pieter Hartel, Angelika Mader
We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems. We suggest several avenues for further research on...
From Watermarks to Fuzzy Extractors: a Practical Construction (2008)
Ileana Buhan, Jeroen Doumen, Pieter Hartel, Raymond Veldhuis
Abstract. Fuzzy extractors are a powerful tool to extract randomness from noisy data. A fuzzy extractor can extract randomness only if the source data is discrete while in practice source data is...
Inter-library Service Brokerage in LicenseScript (2008)
Cheun Ngen Chong, Ro Etalle, Pieter Hartel, Rieks Joosten
Abstract. Inter-library loan involves interaction among a dynamic number of digital libraries and users. Therefore, inter-library service management is complex. We need to handle different and...
Marcin Czenko, Ha Tran, Jeroen Doumen, Ro Etalle, Pieter Hartel, Jerry Den Hartog
Replace this file withprentcsmacro.sty for your meeting,
Prof. Dr. Pieter Hartel, D. T. Janssen, Prof. Dr. Bart Jacobs
Contact info: www.sentinels.nl
Constructing practical Fuzzy Extractors usingQIM (2008)
Ileana Buhan, Jeroen Doumen, Pieter Hartel, Raymond Veldhuis
Fuzzy extractors are a powerful tool to extract randomness from noisy data. A fuzzy extractor can extract randomness only if the source data is discrete while in practice source data is continuous....
12. Interoperability Challenges for DRM Systems (2008)
Uwe Wessely, Martin Steinebach, Sascha Zmudzinski, Francis Rousseaux, Alain Bonardi, Romain Poncelet, ...
36-46 47-58 59-71 72-83 84-90 91-100
Modelling the eVerlage Payment Protocols (2008)
Uwe Wessely, Martin Steinebach, Sascha Zmudzinski, Francis Rousseaux, Alain Bonardi, Romain Poncelet, ...
36-46 47-58 59-71 72-83 84-90
12. Interoperability Challenges for DRM Systems (2008)
Uwe Wessely, Martin Steinebach, Sascha Zmudzinski, Francis Rousseaux, Alain Bonardi, Romain Poncelet, ...
36-46 47-58 59-71
12. Interoperability Challenges for DRM Systems (2008)
Uwe Wessely, Martin Steinebach, Sascha Zmudzinski, Francis Rousseaux, Alain Bonardi, Romain Poncelet, ...
36-46 47-58 59-71 72-83 84-90
Embedding Renewable Cryptographic Keys into Continuous Noisy Data (2008)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Tang, Qiang, Veldhuis, Raymond
Fuzzy extractor is a powerful but theoretical tool to extract uniform strings from discrete noisy data. Before it can be used in practice, many concerns need to be addressed in advance, such as...
Controlling Leakage Of Biometric Information Using Dithering (2008)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter
Fuzzy extractors allow cryptographic keys to be generated from noisy, non-uniform biometric data. Fuzzy extractors can be used to authenticate a user to a server without storing her biometric data...
cope with data mobility (2008)
Trajce Dimkov, Qiang Tang, Pieter Hartel
On the inability of existing security models to
Ricardo Corin, Ro Etalle, Pieter Hartel, Angelika Mader
A functionally correct system must satisfy a range of systemic
Secure Content Management In Ambient Environments- how about security and meta-data?- (2007)
Willem Jonker, Pieter Hartel, Ling Feng
In order to strengthen the research on security and ambient intelligence, as well as the relationship between the content management and security work at Philips Research and at Twente University, a...
On the evaluation of Web radio (2007)
We develop an evaluation method for Web radio, and perform it to see what we can be learnt about seven prominent Web radio sites. We also evaluate a commercial FM radio station for control purposes....
Using Trace Formulae for Security Protocol Design (2007)
Ricardo Corin, Antonio Durante, Ro Etalle, Pieter Hartel
Abstract. We report on work-in-progress on a new trace logic for describing security properties. This trace logic can be used directly in the design process, and it can be incorporated in a natural...
Using Trace Formulae for Security Protocol Design (2007)
Ricardo Corin, Antonio Durante, Ro Etalle, Pieter Hartel
Abstract. We report on work-in-progress on a new trace logic for describing security properties. This trace logic can be used directly in the design process, and it can be incorporated in a natural...
A Real-time Network at Home (2007)
Ferdy Hanssen, Pieter Hartel, Pierre Jansen, Hans Scholten, Wiek Vervoort
Abstract — This paper proposes a home network which integrates both real-time and non-real-time capabilities for one coherent, distributed architecture. Such a network is not yet available. Our...
Experimenting with linear search in (2007)
Richard Brinkman, Ling Feng, Sandro Etalle, Pieter Hartel, Willem Jonker
encrypted data
A unifying view on template protection schemes (2007)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
We show that there is a direct relation between the maximum length keys extracted from biometric data and the error rates of the biometric system. This information can be used a-priori to evaluate...
Constructing practical Fuzzy Extractors using QIM (2007)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
Fuzzy extractors are a powerful tool to extract randomness from noisy data. A fuzzy extractor can extract randomness only if the source data is discrete while in practice source data is continuous....
From Watermarks to Fuzzy Extractors: a Practical Construction (2007)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
Fuzzy extractors are a powerful tool to extract randomness from noisy data. A fuzzy extractor can extract randomness only if the source data is discrete while in practice source data is continuous....
Secure Ad-hoc Pairing with Biometrics: SAfE (2007)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
The pairing problem is to enable two devices, which share no prior context with each other, to agree upon a security association that they can use to protect their subsequent communication. Secure...
Feeling Is Believing: A Secure Template Exchange Protocol (2007)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
We use grip pattern based biometrics as a secure side channel to achieve pre-authentication in a protocol that sets up a secure channel between two hand held devices. The protocol efficiently...
Feeling is believing: a secure template exchange protocol (2007)
Ileana Buhan, Jeroen Doumen, Pieter Hartel, Raymond Veldhuis
Abstract. We use grip pattern based biometrics as a secure side channel to achieve pre-authentication in a protocol that sets up a secure channel between two hand held devices. The protocol...
Fuzzy extractors for continuous distributions (2007)
Ileana Buhan, Jeroen Doumen, Pieter Hartel, Raymond Veldhuis
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key depends on the...
Fuzzy extractors for continuous distributions (2006)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key depends on the...
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
We use grip pattern based biometrics as a location limited channel to achieve pre-authentication in a protocol that sets up a secure cannel between two handheld devices. The protocol efficiently...
Fuzzy extractors for continuous distributions (2006)
Buhan, Ileana, Doumen, Jeroen, Hartel, Pieter, Veldhuis, Raymond
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key depends on the...
POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System (2006)
Damiano Bolzoni, Sandro Etalle, Pieter Hartel
We present POSEIDON, a new anomaly-based network intrusion detection system. POSEIDON is payload-based, and has a two-tier architecture: the first stage consists of a Self-Organizing Map, while the...
Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Ro Etalle, Pieter Hartel, Yee Wei Law, ...
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, and it is rich enough...
Poseidon: a 2-tier Anomaly-based Intrusion Detection System (2005)
Bolzoni, Damiano, Zambon, Emmanuele, Etalle, Sandro, Hartel, Pieter
We present Poseidon, a new anomaly based intrusion detection system. Poseidon is payload-based, and presents a two-tier architecture: the first stage consists of a Self-Organizing Map, while the...
A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems (2005)
Buhan, Ileana, Bazen, Asker, Hartel, Pieter, Veldhuis, Raymond
For applications like Terrorist Watch Lists and Smart Guns, a false rejection is more critical than a false acceptance. In this paper a new threat model focusing on false rejections is presented, and...
Energy-Efficient Link-Layer Jamming Attacks against Wireless Sensor Network MAC Protocols (2005)
Law, Yee Wei, Hoesel Van, Lodewijk, Doumen, Jeroen, Hartel, Pieter, Havinga, Paul
A typical wireless sensor node has little protection against radio jamming. The situation becomes worse if energyefficient jamming can be achieved by exploiting knowledge of the data link layer....
A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems (2005)
Buhan, Ileana, Bazen, Asker, Hartel, Pieter, Veldhuis, Raymond
For applications like Terrorist Watch Lists and Smart Guns, a false rejection is more critical than a false acceptance. In this paper a new threat model focusing on false rejections is presented, and...
Law, Yee Wei, Hoesel Van, Lodewijk, Doumen, Jeroen, Hartel, Pieter, Havinga, Paul
A typical wireless sensor node has little protection against radio jamming. The situation becomes worse if energy efficient jamming can be achieved by exploiting knowledge of the data link layer....
Poseidon: A 2-tier Anomaly-based Intrusion Detection System (2005)
Bolzoni, Damiano, Zambon, Emmanuele, Etalle, Sandro, Hartel, Pieter
We present Poseidon, a new anomaly based intrusion detection system. Poseidon is payload-based, and presents a two-tier architecture: the first stage consists of a Self-Organizing Map, while the...
The state of the art in abuse of biometrics (2005)
For applications like Terrorist Watch Lists and Smart Guns, a false rejection is more critical than a false acceptance. In this paper a new threat model focusing on false rejections is presented, and...
A Classification of Service Discovery Protocols (2005)
Marin Perianu, Raluca, Hartel, Pieter, Scholten, Hans
Service discovery is an emerging field in the area of ubiquitous computing. There are various techniques and protocols (proposed or/and already implemented) particularly tailored to specific sets of...
Overview of Security Research in EYES (2005)
Law, Yee Wei, Hartel, Pieter, Etalle, Sandro, Havinga, Paul, Di Pietro, Roberto, Mancini, Luigi
The security research for the EYES project is mainly carried out by the the Univ. of Rome La Sapienza and the Univ. of Twente. While Rome is primarily interested in key management, Twente has been...
Benchmarking Block Ciphers for Wireless Sensor Networks (2005)
Law, Yee Wei, Doumen, Jeroen, Hartel, Pieter
The energy efficiency requirement of wireless sensor networks (WSNs) is especially high because the sensor nodes are meant to operate without human intervention for a long period of time with little...
Link-layer jamming attacks on S-MAC (2005)
Law, Yee Wei, Hartel, Pieter, Hartog Den, Jerry, Havinga, Paul
We argue that among denial-of-service (DoS) attacks, link-layer jamming is a more attractive option to attackers than radio jamming is. By exploiting the semantics of the link-layer protocol (aka MAC...
A Classification of Service Discovery Protocols (2005)
Raluca Marin-perianu, Pieter Hartel, Hans Scholten
Service discovery is an emerging field in the area of ubiquitous computing. There are various techniques and protocols (proposed or/and already implemented) particularly tailored to specific sets of...
A Trace Logic for Local Security Properties (2004)
Corin, Ricardo, Durante, Antonio, Etalle, Sandro, Hartel, Pieter
We propose a new simple \emph{trace} logic that can be used to specify \emph{local security properties}, i.e. security properties that refer to a single participant of the protocol specification. Our...
The Functional “C” experience (2004)
Hartel, Pieter, Muller, Henk, Glaser, Hugh
A functional programming language can be taught successfully as a first language, but if there is no follow up the students do not appreciate the functional approach. Following discussions concerning...
The Functional “C” experience (2004)
Hartel, Pieter, Muller, Henk, Glaser, Hugh
A functional programming language can be taught successfully as a first language, but if there is no follow up the students do not appreciate the functional approach. Following discussions concerning...
The Functional “C” experience (2004)
Hartel, Pieter, Muller, Henk, Glaser, Hugh
A functional programming language can be taught successfully as a first language, but if there is no follow up the students do not appreciate the functional approach. Following discussions concerning...
Survey and Benchmark of Block Ciphers for Wireless Sensor Networks (2004)
Law, Yee Wei, Doumen, Jeroen, Hartel, Pieter
Choosing the most storage- and energy-efficient block cipher specifically for wireless sensor networks (WSNs) is not as straightforward as it seems. To our knowledge so far, there is no systematic...
Link-layer Jamming Attacks on S-MAC (2004)
Law, Yee Wei, Hartel, Pieter, Hartog Den, Jerry, Havinga, Paul
We argue that among denial-of-service (DoS) attacks, link-layer jamming is a more attractive option to attackers than radio jamming is. By exploiting the semantics of the link-layer protocol (aka MAC...
The Functional "C" experience (2004)
Hartel, Pieter, Muller, Henk, Glaser, Hugh
A functional programming language can be taught successfully as a first language, but if there is no follow up the students do not appreciate the functional approach. Following discussions concerning...
Biometric Verification Based on Grip-pattern Recognition (2004)
Veldhuis, Raymond, Bazen, Asker, Kauffman, Joost, Hartel, Pieter
This paper describes the design, implementation and evaluation of a user-verification system for a smart gun, which is based on grip-pattern recognition. An existing pressure sensor consisting of an...
Biometric verification based on grip-pattern recognition (2004)
Veldhuis, Raymond, Bazen, Asker, Kauffman, Joost, Hartel, Pieter
This paper describes the design, implementation and evaluation of a user-verification system for a smart gun, which is based on grip-pattern recognition. An existing pressure sensor consisting of an...
Biometric verification based on grip-pattern recognition (2004)
Raymond Veldhuis, Asker Bazen, Joost Kauffman, Pieter Hartel
This paper describes the design, implementation and evaluation of a user-verification system for a smart gun, which is based on grip-pattern recognition. An existing pressure sensor consisting of an...
Modelling Mobility Aspects of Security Policies (2004)
Pieter Hartel, Pascal Van Eck, Ro Etalle, Roel Wieringa
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increased hardware and...
Service brokerage with prolog (2004)
Cheun Ngen Chong, Ro Etalle, Pieter Hartel, Rieks Joosten, Geert Kleinhuis
Abstract. Service brokerage is a complex problem. At the design stage the semantic gap between user, device and system requirements must be bridged, and at the operational stage the conflicting...
Music2Share - Copyright-Compliant music sharing in P2P systems (2004)
Ton Kalker, Dick Epema, Pieter Hartel, Inald Lagendijk, Maarten Van Steen
Abstract — Peer-to-Peer (P2P) networks are generally considered to be free havens for pirated content, in particular with respect to music. We describe a solution for the problem of copyright...
Survey and benchmark of block ciphers for wireless sensor networks (2004)
Yee Wei Law, Jeroen Doumen, Pieter Hartel
Abstract. Choosing the most storage- and energy-efficient block cipher specifically for wireless sensor networks (WSNs) is not as straightforward as it seems. To our knowledge so far, there is no...
The functional “C” experience (2004)
Pieter Hartel, Henk Muller, Hugh Glaser
A functional programming language can be taught successfully as a first language, but if there is no follow up the students do not appreciate the functional approach. Following discussions concerning...
INTEROPERABILITY CHALLENGES FOR DRM SYSTEMS (2004)
Uwe Wessely, Martin Steinebach, Sascha Zmudzinski, Francis Rousseaux, Alain Bonardi, ...
Large scale Digital Rights Management (DRM) systems are close to deployment in various areas.
Service discovery at home (2003)
Sundramoorthy, Vasughi, Scholten, Hans, Jansen, Pierre, Hartel, Pieter
Service discovery is a fairly new field that kicked off since the advent of ubiquitous computing and has been found essential in the making of intelligent networks by implementing automated discovery...
Experimenting with linear search in encrypted data (2003)
Brinkman, Richard, Feng, Ling, Etalle, Sandro, Hartel, Pieter, Jonker, Willem
Song, Wagner and Perrig have published a theoretical paper about keyword search on encrypted textual data. We describe a prototype implementing their theory. Tests are carried out with this prototype...
Service discovery at home (2003)
Sundramoorthy, Vasughi, Scholten, Hans, Jansen, Pierre, Hartel, Pieter
Service discovery is a fairly new field that kicked off since the advent of ubiquitous computing and has been found essential in the making of intelligent networks by implementing automated discovery...
Service discovery at home (2003)
Vasughi Sundramoorthy, Hans Scholten, Pierre Jansen, Pieter Hartel, Vasughi Sundramoorthy, Hans Scholten, ...
2. Computer systems- parallel and distributed computing 3. Multimedia system support and networking – middleware
A trace logic for local security properties (2003)
Ricardo Corin, Antonio Durante, Ro Etalle, Pieter Hartel
Abstract. We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of the protocol specification. Our...
LicenseScript: A novel digital rights language and its semantics (2003)
Cheun Ngen Chong, Ricardo Corin, Ro Etalle, Pieter Hartel, Willem Jonker, Yee Wei
We propose LicenseScript as a new multiset rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from...
LicenseScript: A novel digital rights language and its semantics (2003)
Cheun Ngen Chong, Ricardo Corin, Ro Etalle, Pieter Hartel, Yee Wei Law
We propose LicenseScript as a new multi-set rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from...
Experimenting with linear search in (2003)
Richard Brinkman, Ling Feng, Sandro Etalle, Pieter Hartel, Willem Jonker
encrypted data
Multipath Routing for Data Dissemination in Energy Efficient Sensor Networks (2002)
Dulman, Stefan, Nieberg, Tim, Havinga, Paul, Hartel, Pieter
In wireless sensor networks (WSN) data produced by one or more sources usually has to be routed through several intermediate nodes to reach the destination. Problems arise when intermediate nodes...
Multipath routing for data dissemination in energy efficient sensor networks (2002)
Stefan Dulman, Tim Nieberg, Paul Havinga, Pieter Hartel
In wireless sensor networks (WSN) data produced by one or more sources usually has to be routed through several intermediate nodes to reach the destination. Problems arise when intermediate nodes...
A Java reference model of transacted memory for smart cards (2002)
Erik Poll, Pieter Hartel, Eduard Jong
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C...
Cheun Ngen Chong, Yee Wei Law, Ro Etalle, Pieter Hartel
framework for analysis and design of secure information delivery systems. The contributions of this project are the demonstration of new analysis and design methods in at least two of the following...
Design rationale for secure probe storage based on patterned magnetic media (2002)
Leon Abelmann, Jordan Chong, Pieter Hartel, Cock Lodder
We describe the design rationale for a hardware tamper resistant secure storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by...
Cheun Ngen Chong, Yee Wei Law, Ro Etalle, Pieter Hartel
framework for analysis and design of secure information delivery systems. The contributions of this project are the demonstration of new analysis and design methods in at least two of the following...
Key Management with Group-Wise Pre-Deployed Keying and Secret Sharing Pre-Deployed Keying (2002)
Yee Wei Law, Ro Etalle, Pieter Hartel
In wireless sensor networks, the key deployment problem has received little attention, whereas it is in fact fundamental, heavily involving crucial (scarce) resources of ad-hoc networks, such as...
A Java Reference Model of Transacted Memory for (2002)
Smart Cards Erik, Erik Poll, Pieter Hartel, Eduard De Jong
Transacted Memory o#ers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation....
Transacted Memory for Smart Cards (2001)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
Transacted Memory for Smart Cards (2001)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
Transacted Memory for Smart Cards (2001)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
Personal DJ, an Architecture for Personalised Content Delivery (2001)
Field, Adam, Hartel, Pieter, Mooij, Wim
Automated Personalised Audio is a relatively new concept, currently making its debut on the Web. Personalised audio relies on the existence of information about the music (music metadata) and...
Micro Scanning Probe Array memory (µSPAM) (2001)
Bolks, Mathieu, Hanssen, Ferdy, Abelmann, Leon, Havinga, Paul, Hartel, Pieter, Jansen, Pierre, ...
The design for a new type of non-volatile mass storage memory is discussed. This new design, based on scanning probe techniques, combines the low volume and power consumption of the FlashRAM, with...
A Real time network at home (2001)
Hanssen, Ferdy, Hartel, Pieter, Jansen, Pierre, Scholten, Hans, Vervoort, Wiek
This paper proposes a home network which integrates both real-time and non-real-time capabilities for one coherent, distributed architecture. Such a network is not yet available. Our network will...
Aan de universiteiten van Twente en Nijmegen zijn twee onderzoeksgroepen onder leiding van de auteurs intensief bezig met smartcards. Beide auteurs zijn eerder dit jaar betrokken geweest bij het...
Current directions in smart cards (2001)
Domingo-Ferrer, Josep, Hartel, Pieter
Smart cards are portable computing devices which are leaving their past role as mere key repositories to become full-fledged computers. This transition has been made possible by recent developments...
Study of Security in Multi-Agent Architectures (2000)
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim, Hartel, Pieter
Study of Security in Multi-Agent Architectures (2000)
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim, Hartel, Pieter
Study of Security in Multi-Agent Architectures (2000)
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim, Hartel, Pieter
'Pressure Sequence' - A Novel Method of Protecting Smartcards (2000)
Henderson, Neil J., Hartel, Pieter
If someone knocks on your door, the chances are that you can tell by the sound who it is. This simple idea is the basis of our pressure sequence method, which records the signal arising from a user...
'Pressure Sequence' - A Novel Method of Protecting Smartcards (2000)
Henderson, Neil J., Hartel, Pieter
If someone knocks on your door, the chances are that you can tell by the sound who it is. This simple idea is the basis of our pressure sequence method, which records the signal arising from a user...
'Pressure Sequence' - A Novel Method of Protecting Smartcards (2000)
Henderson, Neil J., Hartel, Pieter
If someone knocks on your door, the chances are that you can tell by the sound who it is. This simple idea is the basis of our pressure sequence method, which records the signal arising from a user...
Michael Butler, Michael Butler, Pieter Hartel, Pieter Hartel
Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It...
Questions and Answers about Ten Formal Methods (1999)
Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, ...
An abstract model of a distributed data base application has been studied using process based, state based, and queueing theory based methods. The methods supported by graphical notations and/or...
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp (1998)
Butler, Michael, Hartel, Pieter
Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is...
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp (1998)
this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modelling this...
Applying Formal Methods to the Design of Smart Card Software (1997)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
The goal of this work is the design of a language for the implementation of smart card applications, specifically an operating system, as high integrity software. The integrity of a piece of software...
Applying Formal Methods to the Design of Smart Card Software (1997)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
The goal of this work is the design of a language for the implementation of smart card applications, specifically an operating system, as high integrity software. The integrity of a piece of software...
Applying Formal Methods to the Design of Smart Card Software (1997)
Butler, Michael, Hartel, Pieter, Jong, Eduard De, Longley, Mark
The goal of this work is the design of a language for the implementation of smart card applications, specifically an operating system, as high integrity software. The integrity of a piece of software...
Modular Operational Semantic Specification of Transport Triggered Architectures (1997)
Jon Mountjoy, Pieter Hartel, Henk Corporaal
The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the...
Modular Operational Semantic Specification of Transport Triggered Architectures (1997)
Jon Mountjoy, Pieter Hartel, Henk Corporaal
The formal specification of hardware at the instruction level is a daunting task. The complexity, size and intricacies of most instruction sets makes this task even more difficult. However, the...
Compilation of Functional Languages Using Flow Graph Analysis (1994)
Pieter Hartel, Hugh Glaser, John Wild
To implement lazy functional languages efficiently it is necessary for a compiler analyse many properties of the program. Analysis techniques proposed to support such implementations have a similar...
Towards Testability in Smart Card Operating System Design (1994)
The operating system of a smart card is a safety critical system. Distributed in millions, smart cards with their small 8-bit CPU support applications where transferred values are only protected by...
Pieter Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, ...
Over 25 implementations of different functional languages are benchmarked using the same program, a floatingpoint intensive application taken from molecular biology. The principal aspects studied are...
FAST compiler user's guide (1993)
Pieter Hartel, Hugh Glaser, John Wild
The FAST compiler is a backend for compilers of lazy functional languages. There are two versions of the compiler: one that takes a rather simple lazy functional language as input and a second that...
Statistics on Storage Management in a Lazy Functional Language Implementation (1992)
John Wild, Hugh Glaser, Pieter Hartel
The aim of the FAST project is to provide an implementation of a lazy functional language on a transputer array. An important component of this system is a highly optimising compiler and runtime...
On the Benefits of Different Analyses in the Compilation of a Lazy Functional Language (1991)
Pieter Hartel, Hugh Glaser, John Wild
Implementations of lazy functional languages have not as yet approached the speed of execution provided by imperative, or even non-lazy functional languages. It has been suggested that the answer to...
Statistics on Storage Management in a Lazy Functional Language Implementation (1991)
John Wild, Hugh Glaser, Pieter Hartel
this paper explores the demands placed on the storage manager by our compiled code. Statistics are presented illustrating the lifetime characteristics of cells, a break down of claimed cells by type,...
Statistics on Storage Management in a Lazy Functional Language Implementation (1991)
John Wild, Hugh Glaser, Pieter Hartel
The aim of the FAST project is to provide an implementation of a lazy functional language on a transputer array. An important component of this system is a highly optimising compiler and runtime...
A Pragmatic Approach to the Analysis and Compilation of Lazy Functional Languages (1990)
Hugh Glaser, Pieter Hartel, John Wild
The aim of the FAST Project is to provide an implementation of a functional language, Haskell, on a transputer array. An important component of the system is a highly optimising compiler for Haskell...