Automatic Detection and Repair of Transition- Based Leakage in Software Binaries

Author(s):  
Konstantinos Athanasiou ◽  
Thomas Wahl ◽  
A. Adam Ding ◽  
Yunsi Fei
Keyword(s):  
2014 ◽  
Author(s):  
Douglas Martin ◽  
Rachel Swainson ◽  
Gillian Slessor ◽  
Jacqui Hutchison ◽  
Diana Marosi

2013 ◽  
Vol 61 (S 01) ◽  
Author(s):  
A Van Linden ◽  
J Kempfert ◽  
J Blumenstein ◽  
H Möllmann ◽  
WK Kim ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document