Sciweavers

464 search results - page 7 / 93
» hybrid 2009
Sort
View
FOSSACS
2009
Springer
14 years 2 months ago
Coalgebraic Hybrid Logic
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
Rob Myers, Dirk Pattinson, Lutz Schröder
AAECC
2009
Springer
138views Algorithms» more  AAECC 2009»
13 years 11 months ago
Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
Yang Cui, Kirill Morozov, Kazukuni Kobara, Hideki ...
EUROCRYPT
2009
Springer
14 years 8 months ago
A New Randomness Extraction Paradigm for Hybrid Encryption
Eike Kiltz, Krzysztof Pietrzak, Martijn Stam, Moti...
CAV
2009
Springer
126views Hardware» more  CAV 2009»
14 years 8 months ago
Reachability Analysis of Hybrid Systems Using Support Functions
Colas Le Guernic, Antoine Girard