Sciweavers

ICISC
2009
138views Cryptology» more  ICISC 2009»
13 years 8 months ago
Efficient Certificateless KEM in the Standard Model
Abstract. We give a direct construction of a certificateless key encapsulation mechanism (KEM) in the standard model that is more efficient than the generic constructions proposed ...
Georg Lippold, Colin Boyd, Juan Manuel Gonzá...
MCU
2001
90views Hardware» more  MCU 2001»
14 years 6 days ago
A Direct Construction of a Universal Extended H System
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
Pierluigi Frisco
LICS
2009
IEEE
14 years 5 months ago
Dinatural Terms in System F
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
Joachim De Lataillade