Author Info
Name
Affiliation
Papers
SIMON GREINER
Karlsruhe Inst Technol, Inst Theoret Informat, D-76021 Karlsruhe, Germany
3
Collaborators
Citations 
PageRank 
5
6
1.11
Referers 
Referees 
References 
19
133
68
Search Limit
100133
Title
Citations
PageRank
Year
Modular Verification of Information Flow Security in Component-Based Systems.20.372017
Non-interference with What-Declassification in Component-Based Systems40.402016
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender00.342014