Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lucas Bang
@article{DBLP:journals/pacmpl/SahaGLBB23,
author = {Seemanta Saha and
Surendra Ghentiyala and
Shihua Lu and
Lucas Bang and
Tevfik Bultan},
title = {Obtaining Information Leakage Bounds via Approximate Model Counting},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1488--1509},
year = {2023},
url = {https://doi.org/10.1145/3591281},
doi = {10.1145/3591281},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SahaGLBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/PregersonCCLSB23,
author = {Eli Pregerson and
Shaheen Cullen{-}Baratloo and
David Chen and
Duy Lam and
Max Szostak and
Lucas Bang},
title = {Formalizing Path Explosion for Recursive Functions via Asymptotic
Path Complexity},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {76--85},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00016},
doi = {10.1109/FORMALISE58978.2023.00016},
timestamp = {Mon, 10 Jul 2023 15:19:34 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/PregersonCCLSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BreedenBSM23,
author = {Katherine Breeden and
Lucas Bang and
Christopher A. Stone and
Julie Medero},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {Student Experiences and Academic Outcomes When Multiple Introductory
Tracks Converge},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {89--95},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587102.3588841},
doi = {10.1145/3587102.3588841},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/BreedenBSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/DissemPBCB23,
author = {Sofiane Dissem and
Eli Pregerson and
Adi Bhargava and
Josh Cordova and
Lucas Bang},
title = {Path Complexity Correlates with Source Code Comprehension Effort Indicators},
booktitle = {31st {IEEE/ACM} International Conference on Program Comprehension,
{ICPC} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {266--274},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICPC58990.2023.00041},
doi = {10.1109/ICPC58990.2023.00041},
timestamp = {Thu, 20 Jul 2023 21:02:45 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/DissemPBCB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BesslerCCDLDAB21,
author = {Gabriel Bessler and
Josh Cordova and
Shaheen Cullen{-}Baratloo and
Sofiane Dissem and
Emily Lu and
Sofia Devin and
Ibrahim Abughararh and
Lucas Bang},
title = {Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {29--32},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00028},
doi = {10.1109/ICSE-COMPANION52605.2021.00028},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/BesslerCCDLDAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moco/FrostSB20,
author = {Devon Frost and
Shannon Steele and
Lucas Bang},
title = {Virtually Constrained Dancing: Encoding Language in Movement and Sound},
booktitle = {{MOCO} '20: 7th International Conference on Movement and Computing,
virtual [Jersey City, NJ, USA], July 15-17, 2020},
pages = {12:1--12:4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3401956.3404231},
doi = {10.1145/3401956.3404231},
timestamp = {Thu, 09 Jul 2020 18:13:55 +0200},
biburl = {https://dblp.org/rec/conf/moco/FrostSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MolaviDSB20,
author = {Abtin Molavi and
Mara Downing and
Tommy Schneider and
Lucas Bang},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {{MCBAT:} a practical tool for model counting constraints on bounded
integer arrays},
booktitle = {{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},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417937},
doi = {10.1145/3368089.3417937},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MolaviDSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MolaviSDB20,
author = {Abtin Molavi and
Tommy Schneider and
Mara Downing and
Lucas Bang},
editor = {Maria Christakis and
Nadia Polikarpova and
Parasara Sridhar Duggirala and
Peter Schrammel},
title = {{MCBAT:} Model Counting for Constraints over Bounded Integer Arrays},
booktitle = {Software Verification - 12th International Conference, {VSTTE} 2020,
and 13th International Workshop, {NSV} 2020, Los Angeles, CA, USA,
July 20-21, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12549},
pages = {124--143},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63618-0\_8},
doi = {10.1007/978-3-030-63618-0\_8},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/MolaviSDB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10877,
author = {Mara Downing and
Abtin Molavi and
Lucas Bang},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Symbolic Execution + Model Counting + Entropy Maximization = Automatic
Search Synthesis},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {50--65},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.4},
doi = {10.4204/EPTCS.326.4},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SahaEKBB19,
author = {Seemanta Saha and
William Eiers and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Incremental Attack Synthesis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {16},
year = {2019},
url = {https://doi.org/10.1145/3364452.336445759},
doi = {10.1145/3364452.336445759},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SahaEKBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/RosnerKBB19,
author = {Nicol{\'{a}}s Rosner and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Profit: Detecting and Quantifying Side Channels in Networked Applications},
booktitle = {26th Annual Network and Distributed System Security Symposium, {NDSS}
2019, San Diego, California, USA, February 24-27, 2019},
publisher = {The Internet Society},
year = {2019},
url = {https://www.ndss-symposium.org/ndss-paper/profit-detecting-and-quantifying-side-channels-in-networked-applications/},
timestamp = {Mon, 01 Feb 2021 08:42:22 +0100},
biburl = {https://dblp.org/rec/conf/ndss/RosnerKBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05322,
author = {Seemanta Saha and
William Eiers and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan},
title = {Incremental Adaptive Attack Synthesis},
journal = {CoRR},
volume = {abs/1905.05322},
year = {2019},
url = {http://arxiv.org/abs/1905.05322},
eprinttype = {arXiv},
eprint = {1905.05322},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-05322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11710,
author = {Seemanta Saha and
Ismet Burak Kadron and
William Eiers and
Lucas Bang and
Tevfik Bultan},
title = {Attack Synthesis for Strings using Meta-Heuristics},
journal = {CoRR},
volume = {abs/1907.11710},
year = {2019},
url = {http://arxiv.org/abs/1907.11710},
eprinttype = {arXiv},
eprint = {1907.11710},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Bang18,
author = {Lucas Adam Bang},
title = {Software Side-Channel Analysis},
school = {University of California, Santa Barbara, {USA}},
year = {2018},
url = {http://www.escholarship.org/uc/item/6fw2n189},
timestamp = {Tue, 18 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Bang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SahaKEBB18,
author = {Seemanta Saha and
Ismet Burak Kadron and
William Eiers and
Lucas Bang and
Tevfik Bultan},
title = {Attack Synthesis for Strings using Meta-Heuristics},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {56},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282527},
doi = {10.1145/3282517.3282527},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SahaKEBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TsiskaridzeBMBS18,
author = {Nestan Tsiskaridze and
Lucas Bang and
Joseph McMahan and
Tevfik Bultan and
Timothy Sherwood},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Information Leakage in Arbiter Protocols},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {404--421},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_24},
doi = {10.1007/978-3-030-01090-4\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/TsiskaridzeBMBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BangRB18,
author = {Lucas Bang and
Nicol{\'{a}}s Rosner and
Tevfik Bultan},
title = {Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2018, London, United Kingdom, April 24-26, 2018},
pages = {307--322},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSP.2018.00029},
doi = {10.1109/EUROSP.2018.00029},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BangRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AydinEBBGBY18,
author = {Abdulbaki Aydin and
William Eiers and
Lucas Bang and
Tegan Brennan and
Miroslav Gavrilov and
Tevfik Bultan and
Fang Yu},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Parameterized model counting for string and numeric constraints},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {400--410},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236064},
doi = {10.1145/3236024.3236064},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AydinEBBGBY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {328--342},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.8},
doi = {10.1109/CSF.2017.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/PhanBPMB17,
author = {Quoc{-}Sang Phan and
Lucas Bang and
Corina S. Pasareanu and
Pasquale Malacaria and
Tevfik Bultan},
title = {Synthesis of Adaptive Side-Channel Attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {401},
year = {2017},
url = {http://eprint.iacr.org/2017/401},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/PhanBPMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAPPB16,
author = {Lucas Bang and
Abdulbaki Aydin and
Quoc{-}Sang Phan and
Corina S. Pasareanu and
Tevfik Bultan},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {String analysis for side channels with segmented oracles},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {193--204},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950362},
doi = {10.1145/2950290.2950362},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BangAPPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BangBL15,
author = {Lucas Bang and
Wolfgang W. Bein and
Lawrence L. Larmore},
title = {{R-LINE:} {A} better randomized 2-server algorithm on the line},
journal = {Theor. Comput. Sci.},
volume = {605},
pages = {106--118},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.08.043},
doi = {10.1016/J.TCS.2015.08.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BangBL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AydinBB15,
author = {Abdulbaki Aydin and
Lucas Bang and
Tevfik Bultan},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Automata-Based Model Counting for String Constraints},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {255--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_15},
doi = {10.1007/978-3-319-21690-4\_15},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/AydinBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BangAB15,
author = {Lucas Bang and
Abdulbaki Aydin and
Tevfik Bultan},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Automatically computing path complexity of programs},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {61--72},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786863},
doi = {10.1145/2786805.2786863},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BangAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waoa/BangBL12,
author = {Lucas Bang and
Wolfgang W. Bein and
Lawrence L. Larmore},
editor = {Thomas Erlebach and
Giuseppe Persiano},
title = {{R-LINE:} {A} Better Randomized 2-Server Algorithm on the Line},
booktitle = {Approximation and Online Algorithms - 10th International Workshop,
{WAOA} 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7846},
pages = {120--130},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38016-7\_11},
doi = {10.1007/978-3-642-38016-7\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/waoa/BangBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
