Artikel dengan mandat akses publik - Tevfik BultanPelajari lebih lanjut
Tidak tersedia di mana pun: 1
Quantifying information leakage using model counting constraint solvers
T Bultan
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
Mandat: US National Science Foundation, US Department of Defense
Tersedia di suatu tempat: 38
Deciding choreography realizability
S Basu, T Bultan, M Ouederni
Acm Sigplan Notices 47 (1), 191-202, 2012
Mandat: Government of Spain
String analysis for side channels with segmented oracles
L Bang, A Aydin, QS Phan, CS Păsăreanu, T Bultan
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Mandat: US National Science Foundation
Synthesis of adaptive side-channel attacks
QS Phan, L Bang, CS Pasareanu, P Malacaria, T Bultan
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 328-342, 2017
Mandat: US Department of Defense
Synchronizability for verification of asynchronously communicating systems
S Basu, T Bultan, M Ouederni
International Workshop on Verification, Model Checking, and Abstract …, 2012
Mandat: Government of Spain
Symbolic path cost analysis for side-channel detection
T Brennan, S Saha, T Bultan, CS Păsăreanu
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Mandat: US National Science Foundation, US Department of Defense
Automated choreography repair
S Basu, T Bultan
International Conference on Fundamental Approaches to Software Engineering …, 2016
Mandat: US National Science Foundation
Parameterized model counting for string and numeric constraints
A Aydin, W Eiers, L Bang, T Brennan, M Gavrilov, T Bultan, F Yu
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Mandat: US Department of Defense
Jvm fuzzing for jit-induced side-channel detection
T Brennan, S Saha, T Bultan
Proceedings of the ACM/IEEE 42nd international conference on software …, 2020
Mandat: US National Science Foundation, US Department of Defense
JIT leaks: Inducing timing side channels through just-in-time compilation
T Brennan, N Rosner, T Bultan
2020 IEEE Symposium on Security and Privacy (SP), 1207-1222, 2020
Mandat: US National Science Foundation, US Department of Defense
Optimal sanitization synthesis for web application vulnerability repair
F Yu, CY Shueh, CH Lin, YF Chen, BY Wang, T Bultan
Proceedings of the 25th International Symposium on Software Testing and …, 2016
Mandat: US National Science Foundation
Constraint normalization and parameterized caching for quantitative program analysis
T Brennan, N Tsiskaridze, N Rosner, A Aydin, T Bultan
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Mandat: US National Science Foundation, US Department of Defense
On deciding synchronizability for asynchronously communicating systems
S Basu, T Bultan
Theoretical Computer Science 656, 60-75, 2016
Mandat: US National Science Foundation
Profit: Detecting and Quantifying Side Channels in Networked Applications.
N Rosner, IB Kadron, L Bang, T Bultan
NDSS, 2019
Mandat: US Department of Defense
Quantifying permissiveness of access control policies
W Eiers, G Sankaran, A Li, E O'Mahony, B Prince, T Bultan
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandat: US National Science Foundation
Finding access control bugs in web applications with CanCheck
I Bocić, T Bultan
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
Mandat: US National Science Foundation
Symbolic model extraction for web application verification
I Bocic, T Bultan
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
Mandat: US National Science Foundation
Rare path guided fuzzing
S Saha, L Sarker, M Shafiuzzaman, C Shou, A Li, G Sankaran, T Bultan
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
Mandat: US National Science Foundation, US Department of Defense
CorbFuzz: Checking browser security policies with fuzzing
C Shou, IB Kadron, Q Su, T Bultan
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
Mandat: US National Science Foundation
Cloud platform support for api governance
C Krintz, H Jayathilaka, S Dimopoulos, A Pucher, R Wolski, T Bultan
2014 IEEE International Conference on Cloud Engineering, 615-618, 2014
Mandat: US National Institutes of Health
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer