Lucas Bang

According to our database, Lucas Bang authored at least 23 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Obtaining Information Leakage Bounds via Approximate Model Counting.

Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan

Proc. ACM Program. Lang., 2023

Path Complexity Correlates with Source Code Comprehension Effort Indicators.

Sofiane Dissem, Eli Pregerson, Adi Bhargava, Josh Cordova, Lucas Bang

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge.

Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.

Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2021

Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion.

Gabriel Bessler, Josh Cordova, Shaheen Cullen-Baratloo, Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh, Lucas Bang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.

Mara Downing, Abtin Molavi, Lucas Bang

Proceedings of the Proceedings 11th International Symposium on Games, 2020

MCBAT: Model Counting for Constraints over Bounded Integer Arrays.

Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang

Proceedings of the Software Verification - 12th International Conference, 2020

MCBAT: a practical tool for model counting constraints on bounded integer arrays.

Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Virtually Constrained Dancing: Encoding Language in Movement and Sound.

Devon Frost, Shannon Steele, Lucas Bang

Proceedings of the MOCO '20: 7th International Conference on Movement and Computing, 2020

2019

Incremental Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

CoRR, 2019

Profit: Detecting and Quantifying Side Channels in Networked Applications.

Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Software Side-Channel Analysis.

Lucas Adam Bang

PhD thesis, 2018

Attack Synthesis for Strings using Meta-Heuristics.

Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations.

Lucas Bang, Nicolás Rosner, Tevfik Bultan

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

Information Leakage in Arbiter Protocols.

Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Synthesis of Adaptive Side-Channel Attacks.

Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan

IACR Cryptol. ePrint Arch., 2017

2016

String analysis for side channels with segmented oracles.

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

R-LINE: A better randomized 2-server algorithm on the line.

Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore

Theor. Comput. Sci., 2015

Automatically computing path complexity of programs.

Lucas Bang, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automata-Based Model Counting for String Constraints.

Abdulbaki Aydin, Lucas Bang, Tevfik Bultan

Proceedings of the Computer Aided Verification - 27th International Conference, 2015