103 search results - page 9 / 21 » Constructing malware normalizers using term rewriting |
88
Voted
COMPGEOM
2010
ACM
15 years 1 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
EUROSYS
2009
ACM
15 years 6 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
155
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
PAIRING
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We discuss the relationship between ID-based key agreement protocols, certificateless encryption and ID-based key encapsulation mechanisms. In particular we show how in s...