Home  

Publications and Talks

See also: my DBLP Profile or my CV

Peer Reviewed Conference and Workshop Proceedings

• Devon Frost, Shannon Steele, and Lucas Bang. Virtually Constrained Dancing: Encoding Language in Movement and Sound. In MOCO ’20: 7th International Conference on Movement and Computing, virtual [Jersey City, NJ, USA], July 15-17, 2020, pages 12:1–12:4. ACM, 2020.


• Abtin Molavi, Mara Downing, Tommy Schneider, and Lucas Bang. MCBAT: a practical tool for model counting constraints on bounded integer arrays. In Prem Devanbu, Myra B. Cohen, and Thomas Zimmermann, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1596–1600. ACM, 2020.


• Abtin Molavi, Tommy Schneider, Mara Downing, and Lucas Bang. MCBAT: Model Counting for Constraints over Bounded Integer Arrays. Verified Software: Theories, Tools, and Experiments (VSTTE) 2020, Los Angeles, CA, USA, July 20-21, 2020. Springer, 2020.


• Mara Downing, Abtin Molavi, and Lucas Bang. Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020, volume 326 of EPTCS, pages 50–65, 2020.


• Mara Downing, Chris Thompson, and Lucas Bang. Strategy Synthesis for Deduction Games. Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE) Workshop on Artificial Intelligence for Strategy Games, 2019.


• Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, and Tevfik Bultan. Incremental Adaptive Attack Synthesis. Java Path Finder Workshop, 2019.


• Nicolas Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan. Profit: Detecting and Quantifying Side Channels in Networked Applications. Proceedings of the 26th Annual Network and Distributed System Security Symposium (NDSS 2019).
  PDF


• Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood. Information Leakage in Arbiter Protocols. Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018).
  PDF, Slides (By Nestan Tsiskaridze)


• Lucas Bang, Nicolas Rosner, Tevfik Bultan. Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. Proceedings of the 2018 IEEE European Symposium on Security and Privacy (EuroS&P 2018).
  PDF, Slides


• Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu. Parameterized Model Counting for String and Numeric Constraints. Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/SIGSOFT FSE 2018).
  PDF, ABC Software on GitHub, Slides (By William Eiers)


• Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan. Attack Synthesis for Strings using Meta-Heuristics. Java Path Finder Workshop. To appear in ACM SIGSOFT Software Engineering Notes 2018.
  PDF, Slides (By Seemanta Saha)


• Quoc-Sang Phan, Lucas Bang, Corina Pasareanu, Pasquale Malacaria, Tevfik Bultan. Synthesis of Adaptive Side-Channel Attacks. Proceedings of the 30th IEEE Computer Security Foundations Symposium (CSF 2017).
  PDF, Slides


• Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, and Tevfik Bultan. String Analysis for Side Channels with Segmented Oracles. Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
  PDF, Slides
  
  
• Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan. Automatically Computing Path Complexity of Programs. Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), pages 61-72, Bergamo, Italy, August 30-September 4, 2015.
  PDF, Software and Data, Slides
  
  
• Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan. Automata-based Model Counting for String Constraints. Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015), pages 255-272, San Francisco, CA, USA, July 18-24, 2015.
  PDF, ABC Software on GitHub, Slides (By Abdulbaki Aydin)
  
  
• Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore. R-LINE: A Better Randomized 2-Server Algorithm on the Line. Proceedings of the 10th Workshop on Approximation and Online Algorithms (WAOA 2012). pages 120-130. Ljubljana, Slovenia, September 13-14, 2012.
  PDF, Slides
  
  

Journals

• Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore. R-LINE: A Better Randomized 2-Server Algorithm on the Line. Theoretical Computer Science (TCS). Volume 605. pages 106-118, 2015.
  PDF

Tutorials

• Automata-based String Analysis. Tutorial, 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2016), Santa Barbara, California, June 13, 2016. (Joint tutorial in three parts.)
  
  
  • Part 1: String Analysis by Tevfik Bultan
    
  • Part 2: Constraint Solving by Abdulbaki Aydin
    
  • Part 3: Model Counting by Lucas Bang

UCSB PhD Dissertation and Related Presentations

• Software Side-Channel Analysis (2018). UCSB Dissertation.
  PDF
  
  
• UCSB Dissertation Defense. June 13, 2018.
  "Software Side-Channel Analysis (Defense)"
  
  
• UCSB Dissertation Research Proposal. October 5, 2016.
  "Automatic Quantification of Software Side Channels (Proposal)"
  
  
• UCSB Major Area (a.k.a. Qualifying) Exam. April 14, 2016.
  "Automatic Quantification of Software Side Channels (MAE)"

UNLV Master of Science Thesis

• An Online Algorithm for the 2-Server Problem on the Line with Improved Competitiveness. (2013). UNLV Theses, Dissertations, Professional Papers, and Capstones. Paper 1801.
  PDF, Defense Slides