Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Seemanta Saha"'
Publikováno v:
Proceedings of the 44th International Conference on Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6914da8c534d6157763186dbf69f0f8e
https://doi.org/10.1145/3510003.3510227
https://doi.org/10.1145/3510003.3510227
Autor:
Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 45:20-22
Java Path nder (JPF) was originally developed as an explicit- state software model checker, and subsequently evolved into an extensible Java bytecode analysis framework that has been suc- cessfully used to implement techniques such as symbolic and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb6f34a542708d7be6ee77ad40a548a1
https://doi.org/10.1145/3385678.3385685
https://doi.org/10.1145/3385678.3385685
Publikováno v:
ICSE
Timing side channels arise in software when a program's execution time can be correlated with security-sensitive program input. Recent results on software side-channel detection focus on analysis of program's source code. However, runtime behavior, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::059011f959c1931c3b30753a5f54389d
https://doi.org/10.1145/3377811.3380432
https://doi.org/10.1145/3377811.3380432
Publikováno v:
International Journal of Software Engineering and Its Applications. 11:1-16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9af108d9e18a475d2724a07d9de10400
https://doi.org/10.14257/ijseia.2017.11.1.01
https://doi.org/10.14257/ijseia.2017.11.1.01
Publikováno v:
ASE
Quantitative program analysis is an emerging area with applications to software reliability, quantitative information flow, side-channel detection and attack synthesis. Most quantitative program analysis techniques rely on model counting constraint s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93f06a1d4971abb5ef2d72e24bd2b588
https://doi.org/10.1109/ase.2019.00050
https://doi.org/10.1109/ase.2019.00050
Information leaks are a significant problem in modern computer systems and string manipulation is prevalent in modern software. We present techniques for automated synthesis of side-channel attacks that recover secret string values based on timing ob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edae85b9bf5e578f818d3f6513d123c9
http://arxiv.org/abs/1907.11710
http://arxiv.org/abs/1907.11710
Publikováno v:
ICSE
Despite significant advances in automatic program repair (APR) techniques over the past decade, practical deployment remains an elusive goal. One of the important challenges in this regard is the general inability of current APR techniques to produce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03076ca707db9cc79e09b467ea33e6d5
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 44:16-16
Information leakage is a signi cant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In recent years, techniques have been developed for automated synthesis of adaptive side-channel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d9bd8938cf94174adc6529051b21233
https://doi.org/10.1145/3364452.336445759
https://doi.org/10.1145/3364452.336445759
Publikováno v:
ISSTA
Side-channels in software are an increasingly significant threat to the confidentiality of private user information, and the static detection of such vulnerabilities is a key challenge in secure software development. In this paper, we introduce a new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ad11131d91de6633c1f37d5cc9cf162
https://doi.org/10.1145/3213846.3213867
https://doi.org/10.1145/3213846.3213867
Publikováno v:
2013 International Conference on Electrical Information and Communication Technology (EICT).
To keep pace with the advancement of technology, software products are overlooking the chances of soft errors in the program. Program analysis to check program execution flow is an effective way to detect soft errors. High level language computer pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59e32c2d4d3a0913d97ecdcd329974b7
https://doi.org/10.1109/eict.2014.6777891
https://doi.org/10.1109/eict.2014.6777891