Dynamic Generation of Likely Invariants for Multithreaded Programs
Kusano, Markus, Chattopadhyay, Arijit, Chao Wang
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Conc-iSE: Incremental symbolic execution of concurrent software
Shengjian Guo, Kusano, Markus, Chao Wang
Published in 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2016)
Published in 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2016)
Get full text
Conference Proceeding
Modular verification of interrupt-driven software
Chungha Sung, Kusano, Markus, Chao Wang
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)
Get full text
Conference Proceeding
AUTOMATIC GENERATION OF PATCHES FOR SECURITY VIOLATIONS
KING, Timothy, WANG, Wei, KUSANO, Markus, TRIPP, Omer, IVANCIC, Franjo, BUCUR, Stefan, SZEKERES, László, BABIC, Domagoj, KERNER, Sam
Year of Publication 25.09.2024
Get full text
Year of Publication 25.09.2024
Patent
DIFFERENTIAL DEPENDENCY TRACKING FOR ATTACK FORENSICS
KUSANO, Markus, AKHOONDI, Masoud, LI, Zhichun, WU, Zhenyu, JIANG, Guofei, QIAN, Zhiyun
Year of Publication 31.03.2021
Get full text
Year of Publication 31.03.2021
Patent
Automatic Generation Of Patches For Security Violations
Szekeres, László, Babic, Domagoj, Kerner, Sam, Tripp, Omer, Kusano, Markus, King, Timothy, Wang, Wei, Ivancic, Franjo, Bucur, Stefan
Year of Publication 07.01.2021
Get full text
Year of Publication 07.01.2021
Patent
AUTOMATIC GENERATION OF PATCHES FOR SECURITY VIOLATIONS
KING, Timothy, WANG, Wei, KUSANO, Markus, TRIPP, Omer, IVANCIC, Franjo, BUCUR, Stefan, SZEKERES, László, BABIC, Domagoj, KERNER, Sam
Year of Publication 23.12.2020
Get full text
Year of Publication 23.12.2020
Patent
AUTOMATIC GENERATION OF PATCHES FOR SECURITY VIOLATIONS
KING, Timothy, WANG, Wei, KUSANO, Markus, TRIPP, Omer, IVANCIC, Franjo, BUCUR, Stefan, SZEKERES, László, BABIC, Domagoj, KERNER, Sam
Year of Publication 28.11.2019
Get full text
Year of Publication 28.11.2019
Patent
DIFFERENTIAL DEPENDENCY TRACKING FOR ATTACK FORENSICS
KUSANO, Markus, AKHOONDI, Masoud, LI, Zhichun, WU, Zhenyu, JIANG, Guofei, QIAN, Zhiyun
Year of Publication 04.04.2018
Get full text
Year of Publication 04.04.2018
Patent
DIFFERENTIAL DEPENDENCY TRACKING FOR ATTACK FORENSICS
KUSANO, Markus, AKHOONDI, Masoud, LI, Zhichun, WU, Zhenyu, JIANG, Guofei, QIAN, Zhiyun
Year of Publication 16.08.2017
Get full text
Year of Publication 16.08.2017
Patent
Differential dependency tracking for attack forensics
Jiang Guofei, Qian Zhiyun, Li Zhichun, Kusano Markus, Wu Zhenyu, Akhoondi Masoud
Year of Publication 15.08.2017
Get full text
Year of Publication 15.08.2017
Patent
DIFFERENTIAL DEPENDENCY TRACKING FOR ATTACK FORENSICS
WU, ZHENYU, QIAN, ZHIYUN, JIANG, GUOFEI, KUSANO, MARKUS, LI, ZHICHUN, AKHOONDI, MASOUD
Year of Publication 14.04.2016
Get full text
Year of Publication 14.04.2016
Patent
DIFFERENTIAL DEPENDENCY TRACKING FOR ATTACK FORENSICS
AKHOONDI MASOUD, KUSANO MARKUS, JIANG GUOFEI, QIAN ZHIYUN, LI ZHICHUN, WU ZHENYU
Year of Publication 14.04.2016
Get full text
Year of Publication 14.04.2016
Patent