The following pages link to Pieter Hartel (Q2730108):
Displaying 21 items.
- Programming by numbers: A programming method for novices (Q2730110) (← links)
- (Q2763998) (← links)
- (Q2771741) (← links)
- Nonmonotonic trust management for P2P applications (Q2804936) (← links)
- A trace logic for local security properties (Q2849557) (← links)
- Privacy Enhanced Access Control by Means of Policy Blinding (Q3001868) (← links)
- Public-Key Encryption with Delegated Search (Q3011319) (← links)
- Cluster-based service discovery for heterogeneous wireless sensor networks (Q3518579) (← links)
- Searching Keywords with Wildcards on Encrypted Data (Q3588337) (← links)
- Inter-domain Identity-Based Proxy Re-encryption (Q3624285) (← links)
- Towards Secure and Practical MACs for Body Sensor Networks (Q3652320) (← links)
- (Q3670523) (← links)
- (Q4262009) (← links)
- Experiments with destructive updates in a lazy functional language (Q4322469) (← links)
- (Q4343996) (← links)
- (Q4425924) (← links)
- (Q4785554) (← links)
- The Functional “C” experience (Q4819366) (← links)
- The resource constrained shortest path problem implemented in a lazy functional language (Q4880525) (← links)
- Mutation testing of smart contracts at scale (Q6696552) (← links)
- Replication package for "Mutation testing of smart contracts at scale" (Q6696554) (← links)