Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christian Hammer 0001
@inproceedings{DBLP:conf/compsac/WelearegaiHH23,
author = {Gebrehiwet B. Welearegai and
Chenpo Hu and
Christian Hammer},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {Detecting and Preventing {ROP} Attacks using Machine Learning on {ARM}},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {667--677},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00092},
doi = {10.1109/COMPSAC57700.2023.00092},
timestamp = {Mon, 07 Aug 2023 15:56:21 +0200},
biburl = {https://dblp.org/rec/conf/compsac/WelearegaiHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OmotoshoQH23,
author = {Adebayo Omotosho and
Yaman Qendah and
Christian Hammer},
editor = {Hossain Shahriar and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Hiroki Kashiwazaki and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {{IDS-MA:} Intrusion Detection System for IoT {MQTT} Attacks Using
Centralized and Federated Learning},
booktitle = {47th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
pages = {678--688},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/COMPSAC57700.2023.00093},
doi = {10.1109/COMPSAC57700.2023.00093},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/OmotoshoQH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/OmotoshoICHS23,
author = {Adebayo Omotosho and
Sirine IIahi and
Ernesto Cristopher Villegas Castillo and
Christian Hammer and
Christian Sauer},
editor = {Maksim Jenihhin and
Hana Kub{\'{a}}tov{\'{a}} and
Nele Metens and
Jaan Raik and
Foisal Ahmed and
Jan Belohoubek},
title = {Evaluating the Hardware Performance Counters of an Xtensa Virtual
Prototype},
booktitle = {26th International Symposium on Design and Diagnostics of Electronic
Circuits and Systems, {DDECS} 2023, Tallinn, Estonia, May 3-5, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DDECS57882.2023.10138942},
doi = {10.1109/DDECS57882.2023.10138942},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ddecs/OmotoshoICHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TiwariPH23,
author = {Abhishek Tiwari and
Jyoti Prakash and
Christian Hammer},
title = {Demand-driven Information Flow Analysis of WebView in Android Hybrid
Apps},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {415--426},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00020},
doi = {10.1109/ISSRE59848.2023.00020},
timestamp = {Tue, 14 Nov 2023 16:09:47 +0100},
biburl = {https://dblp.org/rec/conf/issre/TiwariPH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilesoft/TiwariPRH23,
author = {Abhishek Tiwari and
Jyoti Prakash and
Alimerdan Rahimov and
Christian Hammer},
title = {Understanding the Impact of Fingerprinting in Android Hybrid Apps},
booktitle = {10th {IEEE/ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2023, Melbourne, Australia, May 14-15, 2023},
pages = {28--39},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MOBILSoft59058.2023.00011},
doi = {10.1109/MOBILSOFT59058.2023.00011},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobilesoft/TiwariPRH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03916,
author = {Jyoti Prakash and
Abhishek Tiwari and
Christian Hammer},
title = {Unifying Pointer Analyses for Polyglot Inter-operations through Summary
Specialization},
journal = {CoRR},
volume = {abs/2305.03916},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03916},
doi = {10.48550/ARXIV.2305.03916},
eprinttype = {arXiv},
eprint = {2305.03916},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OmotoshoW022,
author = {Adebayo Omotosho and
Gebrehiwet B. Welearegai and
Christian Hammer},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Detecting return-oriented programming on firmware-only embedded devices
using hardware performance counters},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {510--519},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507108},
doi = {10.1145/3477314.3507108},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/OmotoshoW022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-01968,
author = {Abhishek Tiwari and
Jyoti Prakash and
Alimerdan Rahimov and
Christian Hammer},
title = {Our fingerprints don't fade from the Apps we touch: Fingerprinting
the Android WebView},
journal = {CoRR},
volume = {abs/2208.01968},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.01968},
doi = {10.48550/ARXIV.2208.01968},
eprinttype = {arXiv},
eprint = {2208.01968},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-01968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BichhawatRGH21,
author = {Abhishek Bichhawat and
Vineet Rajani and
Deepak Garg and
Christian Hammer},
title = {Permissive runtime information flow control in the presence of exceptions},
journal = {J. Comput. Secur.},
volume = {29},
number = {4},
pages = {361--401},
year = {2021},
url = {https://doi.org/10.3233/JCS-211385},
doi = {10.3233/JCS-211385},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BichhawatRGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PrakashT021,
author = {Jyoti Prakash and
Abhishek Tiwari and
Christian Hammer},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {Effects of Program Representation on Pointer Analyses - An Empirical
Study},
booktitle = {Fundamental Approaches to Software Engineering - 24th International
Conference, {FASE} 2021, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City,
Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {240--261},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_12},
doi = {10.1007/978-3-030-71500-7\_12},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/PrakashT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/TiwariPG020,
author = {Abhishek Tiwari and
Jyoti Prakash and
Sascha Gro{\ss} and
Christian Hammer},
title = {A Large Scale Analysis of Android - Web Hybridization},
journal = {J. Syst. Softw.},
volume = {170},
pages = {110775},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110775},
doi = {10.1016/J.JSS.2020.110775},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/TiwariPG020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HoughW0B20,
author = {Katherine Hough and
Gebrehiwet B. Welearegai and
Christian Hammer and
Jonathan Bell},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Revealing injection vulnerabilities by leveraging existing tests},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {284--296},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380326},
doi = {10.1145/3377811.3380326},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HoughW0B20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01725,
author = {Abhishek Tiwari and
Jyoti Prakash and
Sascha Gro{\ss} and
Christian Hammer},
title = {A Large Scale Analysis of Android-Web Hybridization},
journal = {CoRR},
volume = {abs/2008.01725},
year = {2020},
url = {https://arxiv.org/abs/2008.01725},
eprinttype = {arXiv},
eprint = {2008.01725},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Chakraborty0B19,
author = {Dhiman Chakraborty and
Christian Hammer and
Sven Bugiel},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Secure multi-execution in Android},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1934--1943},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297469},
doi = {10.1145/3297280.3297469},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/Chakraborty0B19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WelearegaiSH19,
author = {Gebrehiwet B. Welearegai and
Max Schl{\"{u}}ter and
Christian Hammer},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Static security evaluation of an industrial web application},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1952--1961},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297471},
doi = {10.1145/3297280.3297471},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/WelearegaiSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/TiwariPG019,
author = {Abhishek Tiwari and
Jyoti Prakash and
Sascha Gro{\ss} and
Christian Hammer},
title = {LUDroid: {A} Large Scale Analysis of Android - Web Hybridization},
booktitle = {19th International Working Conference on Source Code Analysis and
Manipulation, {SCAM} 2019, Cleveland, OH, USA, September 30 - October
1, 2019},
pages = {256--267},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SCAM.2019.00036},
doi = {10.1109/SCAM.2019.00036},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scam/TiwariPG019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/TiwariG019,
author = {Abhishek Tiwari and
Sascha Gro{\ss} and
Christian Hammer},
editor = {Songqing Chen and
Kim{-}Kwang Raymond Choo and
Xinwen Fu and
Wenjing Lou and
Aziz Mohaisen},
title = {{IIFA:} Modular Inter-app Intent Information Flow Analysis of Android
Applications},
booktitle = {Security and Privacy in Communication Networks - 15th {EAI} International
Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019,
Proceedings, Part {II}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {305},
pages = {335--349},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37231-6\_19},
doi = {10.1007/978-3-030-37231-6\_19},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/TiwariG019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-00429,
author = {Jyoti Prakash and
Abhishek Tiwari and
Christian Hammer},
title = {PointEval: On the Impact of Pointer Analysis Frameworks},
journal = {CoRR},
volume = {abs/1912.00429},
year = {2019},
url = {http://arxiv.org/abs/1912.00429},
eprinttype = {arXiv},
eprint = {1912.00429},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-00429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/GrossT018,
author = {Sascha Gro{\ss} and
Abhishek Tiwari and
Christian Hammer},
editor = {Javier L{\'{o}}pez and
Jianying Zhou and
Miguel Soriano},
title = {PIAnalyzer: {A} Precise Approach for PendingIntent Vulnerability Analysis},
booktitle = {Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11099},
pages = {41--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98989-1\_3},
doi = {10.1007/978-3-319-98989-1\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/GrossT018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/TiwariB018,
author = {Abhishek Tiwari and
Fabian Bendun and
Christian Hammer},
editor = {Raheem Beyah and
Bing Chang and
Yingjiu Li and
Sencun Zhu},
title = {A Formal Logic Framework for the Automation of the Right to Be Forgotten},
booktitle = {Security and Privacy in Communication Networks - 14th International
Conference, SecureComm 2018, Singapore, August 8-10, 2018, Proceedings,
Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {254},
pages = {95--111},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01701-9\_6},
doi = {10.1007/978-3-030-01701-9\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/TiwariB018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05380,
author = {Abhishek Tiwari and
Sascha Gro{\ss} and
Christian Hammer},
title = {{IIFA:} Modular Inter-app Intent Information Flow Analysis of Android
Applications},
journal = {CoRR},
volume = {abs/1812.05380},
year = {2018},
url = {http://arxiv.org/abs/1812.05380},
eprinttype = {arXiv},
eprint = {1812.05380},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-05380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BichhawatRJGH17,
author = {Abhishek Bichhawat and
Vineet Rajani and
Jinank Jain and
Deepak Garg and
Christian Hammer},
editor = {Simon N. Foley and
Dieter Gollmann and
Einar Snekkenes},
title = {WebPol: Fine-Grained Information Flow Policies for Web Browsers},
booktitle = {Computer Security - {ESORICS} 2017 - 22nd European Symposium on Research
in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10492},
pages = {242--259},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66402-6\_15},
doi = {10.1007/978-3-319-66402-6\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BichhawatRJGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/WelearegaiH17,
author = {Gebrehiwet Biyane Welearegai and
Christian Hammer},
editor = {Eric Bodden and
Mathias Payer and
Elias Athanasopoulos},
title = {Idea: Optimized Automatic Sanitizer Placement},
booktitle = {Engineering Secure Software and Systems - 9th International Symposium,
ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10379},
pages = {87--96},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62105-0\_6},
doi = {10.1007/978-3-319-62105-0\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/WelearegaiH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/GrossTH17,
author = {Sascha Gro{\ss} and
Abhishek Tiwari and
Christian Hammer},
editor = {Xiaodong Lin and
Ali A. Ghorbani and
Kui Ren and
Sencun Zhu and
Aiqing Zhang},
title = {ThiefTrap - An Anti-theft Framework for Android},
booktitle = {Security and Privacy in Communication Networks - 13th International
Conference, SecureComm 2017, Niagara Falls, ON, Canada, October 22-25,
2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {238},
pages = {167--184},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-78813-5\_9},
doi = {10.1007/978-3-319-78813-5\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/securecomm/GrossTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BichhawatRJ0017,
author = {Abhishek Bichhawat and
Vineet Rajani and
Jinank Jain and
Deepak Garg and
Christian Hammer},
title = {WebPol: Fine-grained Information Flow Policies for Web Browsers},
journal = {CoRR},
volume = {abs/1706.06932},
year = {2017},
url = {http://arxiv.org/abs/1706.06932},
eprinttype = {arXiv},
eprint = {1706.06932},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BichhawatRJ0017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/0001BDG016,
author = {Michael Backes and
Sven Bugiel and
Erik Derr and
Sebastian Gerling and
Christian Hammer},
editor = {Xiaofeng Chen and
XiaoFeng Wang and
Xinyi Huang},
title = {R-Droid: Leveraging Android App Analysis with Static Slice Optimization},
booktitle = {Proceedings of the 11th {ACM} on Asia Conference on Computer and Communications
Security, AsiaCCS 2016, Xi'an, China, May 30 - June 3, 2016},
pages = {129--140},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897845.2897927},
doi = {10.1145/2897845.2897927},
timestamp = {Mon, 25 Apr 2022 08:42:03 +0200},
biburl = {https://dblp.org/rec/conf/ccs/0001BDG016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BackesHPS16,
author = {Michael Backes and
Christian Hammer and
David Pfaff and
Malte Skoruppa},
editor = {Sascha Ossowski},
title = {Implementation-level analysis of the JavaScript helios voting client},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {2071--2078},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851800},
doi = {10.1145/2851613.2851800},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/BackesHPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PfaffH016,
author = {David Pfaff and
Sebastian Hack and
Christian Hammer},
editor = {Jens Knoop and
Uwe Zdun},
title = {Learning how to prevent return-oriented programming efficiently},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {43--44},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/712},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PfaffH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RajaniB0015,
author = {Vineet Rajani and
Abhishek Bichhawat and
Deepak Garg and
Christian Hammer},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {Information Flow Control for Event Handling and the {DOM} in Web Browsers},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {366--379},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.32},
doi = {10.1109/CSF.2015.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/RajaniB0015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/PfaffHH15,
author = {David Pfaff and
Sebastian Hack and
Christian Hammer},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Learning How to Prevent Return-Oriented Programming Efficiently},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {68--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_6},
doi = {10.1007/978-3-319-15618-7\_6},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/PfaffHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/0001B0SS15,
author = {Michael Backes and
Sven Bugiel and
Christian Hammer and
Oliver Schranz and
Philipp von Styp{-}Rekowsky},
editor = {Jaeyeon Jung and
Thorsten Holz},
title = {Boxify: Full-fledged App Sandboxing for Stock Android},
booktitle = {24th {USENIX} Security Symposium, {USENIX} Security 15, Washington,
D.C., USA, August 12-14, 2015},
pages = {691--706},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/backes},
timestamp = {Mon, 01 Feb 2021 08:42:57 +0100},
biburl = {https://dblp.org/rec/conf/uss/0001B0SS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BichhawatR0H15,
author = {Abhishek Bichhawat and
Vineet Rajani and
Deepak Garg and
Christian Hammer},
title = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
journal = {CoRR},
volume = {abs/1506.03950},
year = {2015},
url = {http://arxiv.org/abs/1506.03950},
eprinttype = {arXiv},
eprint = {1506.03950},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BichhawatR0H15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/SneltingGG0HMW14,
author = {Gregor Snelting and
Dennis Giffhorn and
J{\"{u}}rgen Graf and
Christian Hammer and
Martin Hecker and
Martin Mohr and
Daniel Wasserrab},
title = {Checking probabilistic noninterference using {JOANA}},
journal = {it Inf. Technol.},
volume = {56},
number = {6},
pages = {280--287},
year = {2014},
url = {http://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1051/itit-2014-1051.xml},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/SneltingGG0HMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BichhawatRGH14,
author = {Abhishek Bichhawat and
Vineet Rajani and
Deepak Garg and
Christian Hammer},
editor = {Alejandro Russo and
Omer Tripp},
title = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
pages = {15},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637113.2637116},
doi = {10.1145/2637113.2637116},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BichhawatRGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BichhawatRGH14,
author = {Abhishek Bichhawat and
Vineet Rajani and
Deepak Garg and
Christian Hammer},
editor = {Mart{\'{\i}}n Abadi and
Steve Kremer},
title = {Information Flow Control in WebKit's JavaScript Bytecode},
booktitle = {Principles of Security and Trust - Third International Conference,
{POST} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8414},
pages = {159--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54792-8\_9},
doi = {10.1007/978-3-642-54792-8\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/post/BichhawatRGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Hammer14,
author = {Christian Hammer},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Detecting Deadlock in Programs with Data-Centric Synchronization},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {43--44},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30950},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Hammer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Hammer14a,
author = {Christian Hammer},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Flexible Access Control for JavaScript},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {79--80},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30970},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Hammer14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BichhawatRGH14,
author = {Abhishek Bichhawat and
Vineet Rajani and
Deepak Garg and
Christian Hammer},
title = {Information Flow Control in WebKit's JavaScript Bytecode},
journal = {CoRR},
volume = {abs/1401.4339},
year = {2014},
url = {http://arxiv.org/abs/1401.4339},
eprinttype = {arXiv},
eprint = {1401.4339},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BichhawatRGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BackesGHMS13,
author = {Michael Backes and
Sebastian Gerling and
Christian Hammer and
Matteo Maffei and
Philipp von Styp{-}Rekowsky},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Georgios V. Lioudakis and
Nora Cuppens{-}Boulahia and
Simon N. Foley and
William M. Fitzgerald},
title = {AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security - 8th
International Workshop, {DPM} 2013, and 6th International Workshop,
{SETOP} 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8247},
pages = {213--231},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54568-9\_14},
doi = {10.1007/978-3-642-54568-9\_14},
timestamp = {Sun, 25 Oct 2020 22:34:56 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BackesGHMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/Styp-RekowskyGBH13,
author = {Philipp von Styp{-}Rekowsky and
Sebastian Gerling and
Michael Backes and
Christian Hammer},
editor = {Jan J{\"{u}}rjens and
Benjamin Livshits and
Riccardo Scandariato},
title = {Idea: Callee-Site Rewriting of Sealed System Libraries},
booktitle = {Engineering Secure Software and Systems - 5th International Symposium,
ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7781},
pages = {33--41},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36563-8\_3},
doi = {10.1007/978-3-642-36563-8\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/Styp-RekowskyGBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarinoHDVTV13,
author = {Daniel Marino and
Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip and
Jan Vitek},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Detecting deadlock in programs with data-centric synchronization},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606578},
doi = {10.1109/ICSE.2013.6606578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MarinoHDVTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RichardsHNJV13,
author = {Gregor Richards and
Christian Hammer and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Jan Vitek},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Flexible access control for javascript},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {305--322},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509542},
doi = {10.1145/2509136.2509542},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RichardsHNJV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BackesGHMS13,
author = {Michael Backes and
Sebastian Gerling and
Christian Hammer and
Matteo Maffei and
Philipp von Styp{-}Rekowsky},
editor = {Nir Piterman and
Scott A. Smolka},
title = {AppGuard - Enforcing User Requirements on Android Apps},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {543--548},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_39},
doi = {10.1007/978-3-642-36742-7\_39},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BackesGHMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DolbyHMTVV12,
author = {Julian Dolby and
Christian Hammer and
Daniel Marino and
Frank Tip and
Mandana Vaziri and
Jan Vitek},
title = {A data-centric approach to synchronization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {4:1--4:48},
year = {2012},
url = {https://doi.org/10.1145/2160910.2160913},
doi = {10.1145/2160910.2160913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DolbyHMTVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichardsHBV11,
author = {Gregor Richards and
Christian Hammer and
Brian Burg and
Jan Vitek},
editor = {Mira Mezini},
title = {The Eval That Men Do - {A} Large-Scale Study of the Use of Eval in
JavaScript Applications},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {52--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_4},
doi = {10.1007/978-3-642-22655-7\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RichardsHBV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SumnerHD11,
author = {William N. Sumner and
Christian Hammer and
Julian Dolby},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Marathon: Detecting Atomic-Set Serializability Violations with Conflict
Graphs},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {161--176},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_13},
doi = {10.1007/978-3-642-29860-8\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/SumnerHD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTDHV10,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby and
Christian Hammer and
Jan Vitek},
editor = {Theo D'Hondt},
title = {A Type System for Data-Centric Synchronization},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {304--328},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_15},
doi = {10.1007/978-3-642-14107-2\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTDHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/Hammer10,
author = {Christian Hammer},
editor = {Fabio Massacci and
Dan S. Wallach and
Nicola Zannone},
title = {Experiences with PDG-Based {IFC}},
booktitle = {Engineering Secure Software and Systems, Second International Symposium,
ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5965},
pages = {44--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11747-3\_4},
doi = {10.1007/978-3-642-11747-3\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/Hammer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hammer2009a,
author = {Christian Hammer},
title = {Information flow control for Java: a comprehensive approach based
on path conditions in dependence graphs},
school = {Karlsruhe Institute of Technology},
year = {2009},
url = {https://d-nb.info/996983112},
isbn = {978-3-86644-398-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Hammer2009a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GiffhornH09,
author = {Dennis Giffhorn and
Christian Hammer},
title = {Precise slicing of concurrent programs},
journal = {Autom. Softw. Eng.},
volume = {16},
number = {2},
pages = {197--234},
year = {2009},
url = {https://doi.org/10.1007/s10515-009-0048-x},
doi = {10.1007/S10515-009-0048-X},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/GiffhornH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/HammerS09,
author = {Christian Hammer and
Gregor Snelting},
title = {Flow-sensitive, context-sensitive, and object-sensitive information
flow control based on program dependence graphs},
journal = {Int. J. Inf. Sec.},
volume = {8},
number = {6},
pages = {399--422},
year = {2009},
url = {https://doi.org/10.1007/s10207-009-0086-1},
doi = {10.1007/S10207-009-0086-1},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/HammerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HammerDVT08,
author = {Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Dynamic detection of atomic-set-serializability violations},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {231--240},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368120},
doi = {10.1145/1368088.1368120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HammerDVT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HammerSS08,
author = {Christian Hammer and
R{\"{u}}diger Schaade and
Gregor Snelting},
editor = {{\'{U}}lfar Erlingsson and
Marco Pistoia},
title = {Static path conditions for Java},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2008, Tucson, AZ, USA, June 8, 2008},
pages = {57--66},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375696.1375704},
doi = {10.1145/1375696.1375704},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HammerSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/GiffhornH08,
author = {Dennis Giffhorn and
Christian Hammer},
title = {Precise Analysis of Java Programs Using {JOANA}},
booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis
and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
pages = {267--268},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCAM.2008.17},
doi = {10.1109/SCAM.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/GiffhornH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/GiffhornH07,
author = {Dennis Giffhorn and
Christian Hammer},
title = {An Evaluation of Slicing Algorithms for Concurrent Programs},
booktitle = {Seventh {IEEE} International Workshop on Source Code Analysis and
Manipulation {(SCAM} 2007), September 30 - October 1, 2007, Paris,
France},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SCAM.2007.9},
doi = {10.1109/SCAM.2007.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/GiffhornH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HammerKN06,
author = {Christian Hammer and
Jens Krinke and
Frank Nodes},
title = {Intransitive Noninterference in Dependence Graphs},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {119--128},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.39},
doi = {10.1109/ISOLA.2006.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HammerKN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issse3/HammerKS06,
author = {Christian Hammer and
Jens Krinke and
Gregor Snelting},
editor = {Samuel T. Redwine Jr.},
title = {Information Flow Control for Java Based on Path Conditions in Dependence
Graphs},
booktitle = {2006 {IEEE} International Symposium on Secure Software Engineering,
{ISSSE} 2006, Arlington, VA, USA, March 16 -17, 2006},
year = {2006},
timestamp = {Mon, 08 Apr 2024 12:31:21 +0200},
biburl = {https://dblp.org/rec/conf/issse3/HammerKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HammerGK06,
author = {Christian Hammer and
Martin Grimme and
Jens Krinke},
editor = {John Hatcliff and
Frank Tip},
title = {Dynamic path conditions in dependence graphs},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {58--67},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111552},
doi = {10.1145/1111542.1111552},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HammerGK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/HammerS04,
author = {Christian Hammer and
Gregor Snelting},
editor = {Cormac Flanagan and
Andreas Zeller},
title = {An improved slicer for Java},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'04, Washington,
DC, USA, June 7-8, 2004},
pages = {17--22},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996821.996830},
doi = {10.1145/996821.996830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/HammerS04.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 02:11 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:
