Sciweavers

6434 search results - page 123 / 1287
» Model Transformations with Reference Models
Sort
View
80
Voted
ECEASST
2010
15 years 3 days ago
Verification of Model Transformations
Bernhard Schätz
91
Voted
PKC
2012
Springer
182views Cryptology» more  PKC 2012»
13 years 5 months ago
From Selective to Full Security: Semi-generic Transformations in the Standard Model
Michel Abdalla, Dario Fiore, Vadim Lyubashevsky