Lecture Notes in Computer Science - Engineering Secure Software and Systems
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319156170, 9783319156187
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Verification of Privacy Properties in Electric Vehicle Charging

2015 ◽  
pp. 17-33 ◽  
Author(s):  
Marouane Fazouane ◽  
Henning Kopp ◽  
Rens W. van der Heijden ◽  
Daniel Le Métayer ◽  
Frank Kargl
Keyword(s):  
Formal Verification ◽  
Electric Vehicle ◽  
Electric Vehicle Charging ◽  
Vehicle Charging

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs

2015 ◽  
pp. 34-42 ◽  
Author(s):  
Martín Ochoa ◽  
Jorge Cuéllar ◽  
Alexander Pretschner ◽  
Per Hallgren
Keyword(s):  
Model Checking

Are Your Training Datasets Yet Relevant?

2015 ◽  
pp. 51-67 ◽  
Author(s):  
Kevin Allix ◽  
Tegawendé F. Bissyandé ◽  
Jacques Klein ◽  
Yves Le Traon

scholarly journals OMEN: Faster Password Guessing Using an Ordered Markov Enumerator

2015 ◽  
pp. 119-132 ◽  
Author(s):  
Markus Dürmuth ◽  
Fabian Angelstorf ◽  
Claude Castelluccia ◽  
Daniele Perito ◽  
Abdelberi Chaabane

Idea: Towards an Inverted Cloud

2015 ◽  
pp. 111-118 ◽  
Author(s):  
Raoul Strackx ◽  
Pieter Philippaerts ◽  
Frédéric Vogels
Load More ...
Sign in / Sign up

Export Citation Format

Share Document