Sciweavers

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