---
_id: '20718'
author:
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Marc
  full_name: Miltenberger, Marc
  last_name: Miltenberger
citation:
  ama: Rasthofer S, Arzt S, Bodden E, Miltenberger M. Harvester - Vollautomatische
    Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. <i>Datenschutz
    und Datensicherheit</i>. Published online 2016:718-722. doi:<a href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>
  apa: Rasthofer, S., Arzt, S., Bodden, E., &#38; Miltenberger, M. (2016). Harvester
    - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen.
    <i>Datenschutz Und Datensicherheit</i>, 718–722. <a href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>
  bibtex: '@article{Rasthofer_Arzt_Bodden_Miltenberger_2016, title={Harvester - Vollautomatische
    Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}, DOI={<a
    href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>},
    journal={Datenschutz und Datensicherheit}, author={Rasthofer, Siegfried and Arzt,
    Steven and Bodden, Eric and Miltenberger, Marc}, year={2016}, pages={718–722}
    }'
  chicago: Rasthofer, Siegfried, Steven Arzt, Eric Bodden, and Marc Miltenberger.
    “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.”
    <i>Datenschutz Und Datensicherheit</i>, 2016, 718–22. <a href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>.
  ieee: 'S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische
    Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” <i>Datenschutz
    und Datensicherheit</i>, pp. 718–722, 2016, doi: <a href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>.'
  mla: Rasthofer, Siegfried, et al. “Harvester - Vollautomatische Extraktion von Laufzeitwerten
    Aus Obfuskierten Android-Applikationen.” <i>Datenschutz Und Datensicherheit</i>,
    2016, pp. 718–22, doi:<a href="https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536">https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536</a>.
  short: S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit
    (2016) 718–722.
date_created: 2020-12-14T11:57:48Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/rabm16harvester.pdf
page: 718-722
publication: Datenschutz und Datensicherheit
status: public
title: Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten
  Android-Applikationen
type: journal_article
user_id: '5786'
year: '2016'
...
---
_id: '20719'
author:
- first_name: Philipp
  full_name: Holzinger, Philipp
  last_name: Holzinger
- first_name: Stefan
  full_name: Triller, Stefan
  last_name: Triller
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than
    Ten Years of Java Exploitation. In: <i>Proceedings of the 2016 ACM SIGSAC Conference
    on Computer and Communications Security</i>. CCS ’16. ; 2016:779-790. doi:<a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>'
  apa: Holzinger, P., Triller, S., Bartel, A., &#38; Bodden, E. (2016). An In-Depth
    Study of More Than Ten Years of Java Exploitation. <i>Proceedings of the 2016
    ACM SIGSAC Conference on Computer and Communications Security</i>, 779–790. <a
    href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>
  bibtex: '@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16},
    title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={<a
    href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>},
    booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
    Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre
    and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }'
  chicago: Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden.
    “An In-Depth Study of More Than Ten Years of Java Exploitation.” In <i>Proceedings
    of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>,
    779–90. CCS ’16, 2016. <a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.
  ieee: 'P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of
    More Than Ten Years of Java Exploitation,” in <i>Proceedings of the 2016 ACM SIGSAC
    Conference on Computer and Communications Security</i>, 2016, pp. 779–790, doi:
    <a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.'
  mla: Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java
    Exploitation.” <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and
    Communications Security</i>, 2016, pp. 779–90, doi:<a href="http://doi.acm.org/10.1145/2976749.2978361">http://doi.acm.org/10.1145/2976749.2978361</a>.
  short: 'P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016
    ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.'
date_created: 2020-12-14T11:58:33Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://doi.acm.org/10.1145/2976749.2978361
keyword:
- ATTRACT
- access control
- exploits
- java security
- security analysis
- ITSECWEBSITE
language:
- iso: eng
page: 779-790
publication: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
  Security
publication_identifier:
  isbn:
  - 978-1-4503-4139-4
series_title: CCS '16
status: public
title: An In-Depth Study of More Than Ten Years of Java Exploitation
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20720'
author:
- first_name: Andreas
  full_name: Follner, Andreas
  last_name: Follner
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Hui
  full_name: Peng, Hui
  last_name: Peng
- first_name: Yu-Chen
  full_name: Chang, Yu-Chen
  last_name: Chang
- first_name: Kyriakos
  full_name: Ispoglou, Kyriakos
  last_name: Ispoglou
- first_name: Mathias
  full_name: Payer, Mathias
  last_name: Payer
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets
    for Arbitrary Method Execution. In: <i>International Workshop on Security and
    Trust Management (STM)</i>. ; 2016:212-228.'
  apa: 'Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M.,
    &#38; Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary
    Method Execution. <i>International Workshop on Security and Trust Management (STM)</i>,
    212–228.'
  bibtex: '@inproceedings{Follner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title={PSHAPE:
    Automatically Combining Gadgets for Arbitrary Method Execution}, booktitle={International
    Workshop on Security and Trust Management (STM)}, author={Follner, Andreas and
    Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and
    Payer, Mathias and Bodden, Eric}, year={2016}, pages={212–228} }'
  chicago: 'Follner, Andreas, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos
    Ispoglou, Mathias Payer, and Eric Bodden. “PSHAPE: Automatically Combining Gadgets
    for Arbitrary Method Execution.” In <i>International Workshop on Security and
    Trust Management (STM)</i>, 212–28, 2016.'
  ieee: 'A. Follner <i>et al.</i>, “PSHAPE: Automatically Combining Gadgets for Arbitrary
    Method Execution,” in <i>International Workshop on Security and Trust Management
    (STM)</i>, 2016, pp. 212–228.'
  mla: 'Follner, Andreas, et al. “PSHAPE: Automatically Combining Gadgets for Arbitrary
    Method Execution.” <i>International Workshop on Security and Trust Management
    (STM)</i>, 2016, pp. 212–28.'
  short: 'A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden,
    in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.'
date_created: 2020-12-14T11:59:04Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/fbt+16pshape.pdf
page: 212-228
publication: International Workshop on Security and Trust Management (STM)
status: public
title: 'PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20721'
author:
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Michael
  full_name: Eichberg, Michael
  last_name: Eichberg
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management
    System. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State
    Of the Art in Program Analysis</i>. SOAP 2016. ; 2016:13-17.'
  apa: Nguyen Quang Do, L., Eichberg, M., &#38; Bodden, E. (2016). Toward an Automated
    Benchmark Management System. <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 13–17.
  bibtex: '@inproceedings{Nguyen Quang Do_Eichberg_Bodden_2016, series={SOAP 2016},
    title={Toward an Automated Benchmark Management System}, booktitle={Proceedings
    of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
    author={Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}, year={2016},
    pages={13–17}, collection={SOAP 2016} }'
  chicago: Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated
    Benchmark Management System.” In <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 13–17. SOAP 2016, 2016.
  ieee: L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark
    Management System,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 2016, pp. 13–17.
  mla: Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.”
    <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
    in Program Analysis</i>, 2016, pp. 13–17.
  short: 'L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM
    SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016,
    pp. 13–17.'
date_created: 2020-12-14T12:00:32Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/neb16toward.pdf
page: 13-17
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
  the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Toward an Automated Benchmark Management System
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20722'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Tobias
  full_name: Kussmaul, Tobias
  last_name: Kussmaul
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis
    with Soot. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on
    State Of the Art in Program Analysis</i>. SOAP 2016. ; 2016:1-6.'
  apa: Arzt, S., Kussmaul, T., &#38; Bodden, E. (2016). Towards Cross-Platform Cross-Language
    Analysis with Soot. <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 1–6.
  bibtex: '@inproceedings{Arzt_Kussmaul_Bodden_2016, series={SOAP 2016}, title={Towards
    Cross-Platform Cross-Language Analysis with Soot}, booktitle={Proceedings of the
    5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
    author={Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}, year={2016}, pages={1–6},
    collection={SOAP 2016} }'
  chicago: Arzt, Steven, Tobias Kussmaul, and Eric Bodden. “Towards Cross-Platform
    Cross-Language Analysis with Soot.” In <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 1–6. SOAP 2016, 2016.
  ieee: S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language
    Analysis with Soot,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 2016, pp. 1–6.
  mla: Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.”
    <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
    in Program Analysis</i>, 2016, pp. 1–6.
  short: 'S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN
    International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.'
date_created: 2020-12-14T12:02:21Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/akb16towards.pdf
page: 1-6
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
  the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Towards Cross-Platform Cross-Language Analysis with Soot
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20724'
author:
- first_name: Andreas
  full_name: Follner, Andreas
  last_name: Follner
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. <i>Journal
    of Information Security and Applications </i>. 2016;29:16-26. doi:<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>
  apa: Follner, A., &#38; Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse
    attacks. <i>Journal of Information Security and Applications </i>, <i>29</i>,
    16–26. <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>
  bibtex: '@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse
    attacks}, volume={29}, DOI={<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>},
    journal={Journal of Information Security and Applications }, author={Follner,
    Andreas and Bodden, Eric}, year={2016}, pages={16–26} }'
  chicago: 'Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
    Attacks.” <i>Journal of Information Security and Applications </i> 29 (2016):
    16–26. <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.'
  ieee: 'A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,”
    <i>Journal of Information Security and Applications </i>, vol. 29, pp. 16–26,
    2016, doi: <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.'
  mla: Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
    Attacks.” <i>Journal of Information Security and Applications </i>, vol. 29, 2016,
    pp. 16–26, doi:<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.
  short: A. Follner, E. Bodden, Journal of Information Security and Applications  29
    (2016) 16–26.
date_created: 2020-12-14T14:11:40Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002
intvolume: '        29'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb2016ropocop.pdf
page: 16-26
publication: 'Journal of Information Security and Applications '
publication_identifier:
  issn:
  - 2214-2126
status: public
title: ROPocop — Dynamic mitigation of code-reuse attacks
type: journal_article
user_id: '5786'
volume: 29
year: '2016'
...
---
_id: '20725'
author:
- first_name: Andreas
  full_name: Follner, Andreas
  last_name: Follner
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to
    Measure Gadget Quality. In: <i>International Symposium on Engineering Secure Software
    and Systems (ESSoS)</i>. ; 2016.'
  apa: Follner, A., Bartel, A., &#38; Bodden, E. (2016). Analyzing the Gadgets - Towards
    a Metric to Measure Gadget Quality. <i>International Symposium on Engineering
    Secure Software and Systems (ESSoS)</i>.
  bibtex: '@inproceedings{Follner_Bartel_Bodden_2016, title={Analyzing the Gadgets
    - Towards a Metric to Measure Gadget Quality}, booktitle={International Symposium
    on Engineering Secure Software and Systems (ESSoS)}, author={Follner, Andreas
    and Bartel, Alexandre and Bodden, Eric}, year={2016} }'
  chicago: Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets
    - Towards a Metric to Measure Gadget Quality.” In <i>International Symposium on
    Engineering Secure Software and Systems (ESSoS)</i>, 2016.
  ieee: A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric
    to Measure Gadget Quality,” 2016.
  mla: Follner, Andreas, et al. “Analyzing the Gadgets - Towards a Metric to Measure
    Gadget Quality.” <i>International Symposium on Engineering Secure Software and
    Systems (ESSoS)</i>, 2016.
  short: 'A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering
    Secure Software and Systems (ESSoS), 2016.'
date_created: 2020-12-14T14:12:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fbb16analyzing.pdf
publication: International Symposium on Engineering Secure Software and Systems (ESSoS)
status: public
title: Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20726'
author:
- first_name: Kevin
  full_name: Falzon, Kevin
  last_name: Falzon
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating
    Illicit Channels. In: Piessens F, Vigan’o L, eds. <i>Principles of Security and
    Trust: 5th International Conference, POST 2016, Held as Part of the European Joint
    Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands,
    April 2--8, 2016, Proceedings</i>. Springer Berlin Heidelberg; 2016:116-138. doi:<a
    href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>'
  apa: 'Falzon, K., &#38; Bodden, E. (2016). Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels. In F. Piessens &#38; L. Vigan’o (Eds.), <i>Principles
    of Security and Trust: 5th International Conference, POST 2016, Held as Part of
    the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,
    Eindhoven, The Netherlands, April 2--8, 2016, Proceedings</i> (pp. 116–138). Springer
    Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-662-49635-0_7">https://doi.org/10.1007/978-3-662-49635-0_7</a>'
  bibtex: '@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards
    a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={<a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>},
    booktitle={Principles of Security and Trust: 5th International Conference, POST
    2016, Held as Part of the European Joint Conferences on Theory and Practice of
    Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings},
    publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric},
    editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }'
  chicago: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels.” In <i>Principles of Security and Trust: 5th
    International Conference, POST 2016, Held as Part of the European Joint Conferences
    on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April
    2--8, 2016, Proceedings</i>, edited by Frank Piessens and Luca Vigan’o, 116–38.
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. <a href="https://doi.org/10.1007/978-3-662-49635-0_7">https://doi.org/10.1007/978-3-662-49635-0_7</a>.'
  ieee: 'K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for
    Mitigating Illicit Channels,” in <i>Principles of Security and Trust: 5th International
    Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
    and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
    2016, Proceedings</i>, 2016, pp. 116–138, doi: <a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>.'
  mla: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels.” <i>Principles of Security and Trust: 5th International
    Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
    and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
    2016, Proceedings</i>, edited by Frank Piessens and Luca Vigan’o, Springer Berlin
    Heidelberg, 2016, pp. 116–38, doi:<a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>.'
  short: 'K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of
    Security and Trust: 5th International Conference, POST 2016, Held as Part of the
    European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven,
    The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin,
    Heidelberg, 2016, pp. 116–138.'
date_created: 2020-12-14T14:20:20Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1007/978-3-662-49635-0_7
editor:
- first_name: Frank
  full_name: Piessens, Frank
  last_name: Piessens
- first_name: Luca
  full_name: Vigan'o, Luca
  last_name: Vigan'o
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb16mitigating.pdf
page: 116-138
place: Berlin, Heidelberg
publication: 'Principles of Security and Trust: 5th International Conference, POST
  2016, Held as Part of the European Joint Conferences on Theory and Practice of Software,
  ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings'
publication_identifier:
  isbn:
  - 978-3-662-49635-0
publisher: Springer Berlin Heidelberg
status: public
title: Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20727'
author:
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Marc
  full_name: Miltenberger, Marc
  last_name: Miltenberger
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in
    Android Applications That Feature Anti-Analysis Techniques. In: <i>Network and
    Distributed System Security Symposium (NDSS)</i>. ; 2016.'
  apa: Rasthofer, S., Arzt, S., Miltenberger, M., &#38; Bodden, E. (2016). Harvesting
    Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
    <i>Network and Distributed System Security Symposium (NDSS)</i>.
  bibtex: '@inproceedings{Rasthofer_Arzt_Miltenberger_Bodden_2016, title={Harvesting
    Runtime Values in Android Applications That Feature Anti-Analysis Techniques},
    booktitle={Network and Distributed System Security Symposium (NDSS)}, author={Rasthofer,
    Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric}, year={2016}
    }'
  chicago: Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden.
    “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
    Techniques.” In <i>Network and Distributed System Security Symposium (NDSS)</i>,
    2016.
  ieee: S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime
    Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.
  mla: Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications
    That Feature Anti-Analysis Techniques.” <i>Network and Distributed System Security
    Symposium (NDSS)</i>, 2016.
  short: 'S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed
    System Security Symposium (NDSS), 2016.'
date_created: 2020-12-14T14:21:41Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ssme16harvesting.pdf
publication: Network and Distributed System Security Symposium (NDSS)
status: public
title: Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
  Techniques
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20728'
author:
- first_name: Sarah
  full_name: Nadi, Sarah
  last_name: Nadi
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers
    Struggle With Cryptography APIs? In: <i>International Conference for Software
    Engineering (ICSE)</i>. ; 2016:935-946.'
  apa: 'Nadi, S., Krüger, S., Mezini, M., &#38; Bodden, E. (2016). Jumping Through
    Hoops: Why do Java Developers Struggle With Cryptography APIs? <i>International
    Conference for Software Engineering (ICSE)</i>, 935–946.'
  bibtex: '@inproceedings{Nadi_Krüger_Mezini_Bodden_2016, title={Jumping Through Hoops:
    Why do Java Developers Struggle With Cryptography APIs?}, booktitle={International
    Conference for Software Engineering (ICSE)}, author={Nadi, Sarah and Krüger, Stefan
    and Mezini, Mira and Bodden, Eric}, year={2016}, pages={935–946} }'
  chicago: 'Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through
    Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In <i>International
    Conference for Software Engineering (ICSE)</i>, 935–46, 2016.'
  ieee: 'S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why
    do Java Developers Struggle With Cryptography APIs?,” in <i>International Conference
    for Software Engineering (ICSE)</i>, 2016, pp. 935–946.'
  mla: 'Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle
    With Cryptography APIs?” <i>International Conference for Software Engineering
    (ICSE)</i>, 2016, pp. 935–46.'
  short: 'S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for
    Software Engineering (ICSE), 2016, pp. 935–946.'
date_created: 2020-12-14T14:22:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- CROSSING
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/nkm+16jumping.pdf
page: 935-946
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20729'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries
    for the Android Framework. In: <i>International Conference for Software Engineering
    (ICSE)</i>. ; 2016.'
  apa: 'Arzt, S., &#38; Bodden, E. (2016). StubDroid: Automatic Inference of Precise
    Data-flow Summaries for the Android Framework. <i>International Conference for
    Software Engineering (ICSE)</i>.'
  bibtex: '@inproceedings{Arzt_Bodden_2016, title={StubDroid: Automatic Inference
    of Precise Data-flow Summaries for the Android Framework}, booktitle={International
    Conference for Software Engineering (ICSE)}, author={Arzt, Steven and Bodden,
    Eric}, year={2016} }'
  chicago: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
    Data-Flow Summaries for the Android Framework.” In <i>International Conference
    for Software Engineering (ICSE)</i>, 2016.'
  ieee: 'S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow
    Summaries for the Android Framework,” 2016.'
  mla: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
    Data-Flow Summaries for the Android Framework.” <i>International Conference for
    Software Engineering (ICSE)</i>, 2016.'
  short: 'S. Arzt, E. Bodden, in: International Conference for Software Engineering
    (ICSE), 2016.'
date_created: 2020-12-14T14:23:29Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ab16stubdroid.pdf
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android
  Framework'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20730'
author:
- first_name: N.
  full_name: Eling, N.
  last_name: Eling
- first_name: S.
  full_name: Rasthofer, S.
  last_name: Rasthofer
- first_name: M.
  full_name: Kolhagen, M.
  last_name: Kolhagen
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: P.
  full_name: Buxmann, P.
  last_name: Buxmann
citation:
  ama: 'Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’
    Reaction to Fine-Grained Data Requests: A Market Experiment. In: <i>2016 49th
    Hawaii International Conference on System Sciences (HICSS)</i>. ; 2016:3666-3675.
    doi:<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>'
  apa: 'Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., &#38; Buxmann, P. (2016).
    Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
    <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–3675.
    <a href="https://doi.org/10.1109/HICSS.2016.458">https://doi.org/10.1109/HICSS.2016.458</a>'
  bibtex: '@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>},
    booktitle={2016 49th Hawaii International Conference on System Sciences (HICSS)},
    author={Eling, N. and Rasthofer, S. and Kolhagen, M. and Bodden, Eric and Buxmann,
    P.}, year={2016}, pages={3666–3675} }'
  chicago: 'Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” In <i>2016
    49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–75,
    2016. <a href="https://doi.org/10.1109/HICSS.2016.458">https://doi.org/10.1109/HICSS.2016.458</a>.'
  ieee: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in <i>2016
    49th Hawaii International Conference on System Sciences (HICSS)</i>, 2016, pp.
    3666–3675, doi: <a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>.'
  mla: 'Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests:
    A Market Experiment.” <i>2016 49th Hawaii International Conference on System Sciences
    (HICSS)</i>, 2016, pp. 3666–75, doi:<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>.'
  short: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th
    Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.'
date_created: 2020-12-14T14:24:12Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1109/HICSS.2016.458
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/erk+15investigating.pdf
page: 3666-3675
publication: 2016 49th Hawaii International Conference on System Sciences (HICSS)
publication_identifier:
  issn:
  - 1530-1605
status: public
title: 'Investigating Users'' Reaction to Fine-Grained Data Requests: A Market Experiment'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '5205'
author:
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow-
    and Context-Sensitive Pointer Analysis for Java. In: <i>European Conference on
    Object-Oriented Programming (ECOOP)</i>. ; 2016.'
  apa: 'Späth, J., Nguyen Quang Do, L., Ali, K., &#38; Bodden, E. (2016). Boomerang:
    Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In <i>European
    Conference on Object-Oriented Programming (ECOOP)</i>.'
  bibtex: '@inproceedings{Späth_Nguyen Quang Do_Ali_Bodden_2016, title={Boomerang:
    Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java}, booktitle={European
    Conference on Object-Oriented Programming (ECOOP)}, author={Späth, Johannes and
    Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, year={2016} }'
  chicago: 'Späth, Johannes, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. “Boomerang:
    Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” In <i>European
    Conference on Object-Oriented Programming (ECOOP)</i>, 2016.'
  ieee: 'J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven
    Flow- and Context-Sensitive Pointer Analysis for Java,” in <i>European Conference
    on Object-Oriented Programming (ECOOP)</i>, 2016.'
  mla: 'Späth, Johannes, et al. “Boomerang: Demand-Driven Flow- and Context-Sensitive
    Pointer Analysis for Java.” <i>European Conference on Object-Oriented Programming
    (ECOOP)</i>, 2016.'
  short: 'J. Späth, L. Nguyen Quang Do, K. Ali, E. Bodden, in: European Conference
    on Object-Oriented Programming (ECOOP), 2016.'
date_created: 2018-10-31T12:51:26Z
date_updated: 2022-01-06T07:01:45Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T14:13:19Z
  date_updated: 2018-11-02T14:13:19Z
  file_id: '5265'
  file_name: sna+16boomerang.pdf
  file_size: 1921617
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T14:13:19Z
has_accepted_license: '1'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/sna+16boomerang.pdf
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: European Conference on Object-Oriented Programming (ECOOP)
status: public
title: 'Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for
  Java'
type: conference
user_id: '477'
year: '2016'
...
---
_id: '5207'
author:
- first_name: Li
  full_name: Li, Li
  last_name: Li
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Tegawende F.
  full_name: Bissyande, Tegawende F.
  last_name: Bissyande
- first_name: Jacques
  full_name: Klein, Jacques
  last_name: Klein
- first_name: Yves
  full_name: Le Traon, Yves
  last_name: Le Traon
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Damien
  full_name: Octeau, Damien
  last_name: Octeau
- first_name: Patrick
  full_name: McDaniel, Patrick
  last_name: McDaniel
citation:
  ama: 'Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy
    Leaks in Android Apps. In: <i>2015 International Conference on Software Engineering
    (ICSE)</i>. ; 2015:280-291.'
  apa: 'Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., …
    McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android
    Apps. In <i>2015 International Conference on Software Engineering (ICSE)</i> (pp.
    280–291).'
  bibtex: '@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015,
    title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015
    International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel,
    Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and
    Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and
    McDaniel, Patrick}, year={2015}, pages={280–291} }'
  chicago: 'Li, Li, Alexandre Bartel, Tegawende F. Bissyande, Jacques Klein, Yves
    Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, and Patrick
    McDaniel. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” In
    <i>2015 International Conference on Software Engineering (ICSE)</i>, 280–91, 2015.'
  ieee: 'L. Li <i>et al.</i>, “IccTA: Detecting Inter-Component Privacy Leaks in Android
    Apps,” in <i>2015 International Conference on Software Engineering (ICSE)</i>,
    2015, pp. 280–291.'
  mla: 'Li, Li, et al. “IccTA: Detecting Inter-Component Privacy Leaks in Android
    Apps.” <i>2015 International Conference on Software Engineering (ICSE)</i>, 2015,
    pp. 280–91.'
  short: 'L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer,
    E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software
    Engineering (ICSE), 2015, pp. 280–291.'
date_created: 2018-10-31T12:59:44Z
date_updated: 2022-01-06T07:01:46Z
ddc:
- '000'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T14:10:22Z
  date_updated: 2018-11-02T14:10:22Z
  file_id: '5263'
  file_name: lbb+15iccta.pdf
  file_size: 206378
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T14:10:22Z
has_accepted_license: '1'
keyword:
- CROSSING
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/lbb+15iccta.pdf
page: 280-291
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: 2015 International Conference on Software Engineering (ICSE)
publication_identifier:
  isbn:
  - 978-1-4799-1934-5
status: public
title: 'IccTA: Detecting Inter-Component Privacy Leaks in Android Apps'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '5734'
author:
- first_name: Johannes
  full_name: Lerch, Johannes
  last_name: Lerch
- first_name: Ben
  full_name: Hermann, Ben
  id: '66173'
  last_name: Hermann
  orcid: 0000-0001-9848-2017
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
citation:
  ama: 'Lerch J, Hermann B, Bodden E, Mezini M. FlowTwist: efficient context-sensitive
    inside-out taint analysis for large codebases. In: <i>Proceedings of the 22nd
    ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE
    2014</i>. ACM Press; 2014. doi:<a href="https://doi.org/10.1145/2635868.2635878">10.1145/2635868.2635878</a>'
  apa: 'Lerch, J., Hermann, B., Bodden, E., &#38; Mezini, M. (2014). FlowTwist: efficient
    context-sensitive inside-out taint analysis for large codebases. In <i>Proceedings
    of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
    - FSE 2014</i>. ACM Press. <a href="https://doi.org/10.1145/2635868.2635878">https://doi.org/10.1145/2635868.2635878</a>'
  bibtex: '@inproceedings{Lerch_Hermann_Bodden_Mezini_2014, title={FlowTwist: efficient
    context-sensitive inside-out taint analysis for large codebases}, DOI={<a href="https://doi.org/10.1145/2635868.2635878">10.1145/2635868.2635878</a>},
    booktitle={Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations
    of Software Engineering - FSE 2014}, publisher={ACM Press}, author={Lerch, Johannes
    and Hermann, Ben and Bodden, Eric and Mezini, Mira}, year={2014} }'
  chicago: 'Lerch, Johannes, Ben Hermann, Eric Bodden, and Mira Mezini. “FlowTwist:
    Efficient Context-Sensitive inside-out Taint Analysis for Large Codebases.” In
    <i>Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations
    of Software Engineering - FSE 2014</i>. ACM Press, 2014. <a href="https://doi.org/10.1145/2635868.2635878">https://doi.org/10.1145/2635868.2635878</a>.'
  ieee: 'J. Lerch, B. Hermann, E. Bodden, and M. Mezini, “FlowTwist: efficient context-sensitive
    inside-out taint analysis for large codebases,” in <i>Proceedings of the 22nd
    ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE
    2014</i>, 2014.'
  mla: 'Lerch, Johannes, et al. “FlowTwist: Efficient Context-Sensitive inside-out
    Taint Analysis for Large Codebases.” <i>Proceedings of the 22nd ACM SIGSOFT International
    Symposium on Foundations of Software Engineering - FSE 2014</i>, ACM Press, 2014,
    doi:<a href="https://doi.org/10.1145/2635868.2635878">10.1145/2635868.2635878</a>.'
  short: 'J. Lerch, B. Hermann, E. Bodden, M. Mezini, in: Proceedings of the 22nd
    ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE
    2014, ACM Press, 2014.'
date_created: 2018-11-19T13:23:02Z
date_updated: 2022-01-06T07:02:37Z
doi: 10.1145/2635868.2635878
language:
- iso: eng
publication: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations
  of Software Engineering - FSE 2014
publication_identifier:
  isbn:
  - '9781450330565'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowTwist: efficient context-sensitive inside-out taint analysis for large
  codebases'
type: conference
user_id: '66173'
year: '2014'
...
---
_id: '5189'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Christian
  full_name: Fritz, Christian
  last_name: Fritz
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Jacques
  full_name: Klein, Jacques
  last_name: Klein
- first_name: Yves
  full_name: Le Traon, Yves
  last_name: Le Traon
- first_name: Damien
  full_name: Octeau, Damien
  last_name: Octeau
- first_name: Patrick
  full_name: McDaniel, Patrick
  last_name: McDaniel
citation:
  ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
    Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: <i>Proceedings
    of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>. ACM Press; 2014. doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>'
  apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
    P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps. In <i>Proceedings of the 35th ACM SIGPLAN Conference
    on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press. <a
    href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>'
  bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
    title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps}, DOI={<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>},
    booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
    Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
    and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
    and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
    year={2014} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
    Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
    Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
    for Android Apps.” In <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming
    Language Design and Implementation - PLDI ’14</i>. ACM Press, 2014. <a href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>.'
  ieee: 'S. Arzt <i>et al.</i>, “FlowDroid: Precise Context, Flow, Field, Object-sensitive
    and Lifecycle-aware Taint Analysis for Android Apps,” in <i>Proceedings of the
    35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>, 2014.'
  mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
    and Lifecycle-Aware Taint Analysis for Android Apps.” <i>Proceedings of the 35th
    ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
    ’14</i>, ACM Press, 2014, doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>.'
  short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
    D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
    Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:59:33Z
  date_updated: 2018-11-02T13:59:33Z
  file_id: '5258'
  file_name: p259-arzt.pdf
  file_size: 406920
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
  Design and Implementation - PLDI '14
publication_identifier:
  isbn:
  - '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
  Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Enrico
  full_name: Lovat, Enrico
  last_name: Lovat
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
    System-Wide Policies in Android. In: <i>International Conference on Availability,
    Reliability and Security (ARES 2014)</i>. IEEE; 2014:40-49.'
  apa: 'Arzt, S., Rasthofer, S., Lovat, E., &#38; Bodden, E. (2014). DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android. In <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i> (pp. 40–49). IEEE.'
  bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
    Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
    author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
    year={2014}, pages={40–49} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
    Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In <i>International
    Conference on Availability, Reliability and Security (ARES 2014)</i>, 40–49. IEEE,
    2014.'
  ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
    Data-Centric, System-Wide Policies in Android,” in <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i>, 2014, pp. 40–49.'
  mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
    Policies in Android.” <i>International Conference on Availability, Reliability
    and Security (ARES 2014)</i>, IEEE, 2014, pp. 40–49.'
  short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
    on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:21:13Z
  date_updated: 2018-11-02T13:21:13Z
  file_id: '5247'
  file_name: ralb14droidforce.pdf
  file_size: 661565
  relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
  2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5183'
author:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Patrick
  full_name: Lam, Patrick
  last_name: Lam
- first_name: Laurie
  full_name: Hendren, Laurie
  last_name: Hendren
citation:
  ama: Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors
    Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>. 2012;34(2):1-52.
    doi:<a href="https://doi.org/10.1145/2220365.2220366">10.1145/2220365.2220366</a>
  apa: Bodden, E., Lam, P., &#38; Hendren, L. (2012). Partially Evaluating Finite-State
    Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and
    Systems</i>, <i>34</i>(2), 1–52. <a href="https://doi.org/10.1145/2220365.2220366">https://doi.org/10.1145/2220365.2220366</a>
  bibtex: '@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State
    Runtime Monitors Ahead of Time}, volume={34}, DOI={<a href="https://doi.org/10.1145/2220365.2220366">10.1145/2220365.2220366</a>},
    number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association
    for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren,
    Laurie}, year={2012}, pages={1–52} }'
  chicago: 'Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State
    Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages
    and Systems</i> 34, no. 2 (2012): 1–52. <a href="https://doi.org/10.1145/2220365.2220366">https://doi.org/10.1145/2220365.2220366</a>.'
  ieee: E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime
    Monitors Ahead of Time,” <i>ACM Transactions on Programming Languages and Systems</i>,
    vol. 34, no. 2, pp. 1–52, 2012.
  mla: Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead
    of Time.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34,
    no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:<a href="https://doi.org/10.1145/2220365.2220366">10.1145/2220365.2220366</a>.
  short: E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages
    and Systems 34 (2012) 1–52.
date_created: 2018-10-31T10:43:13Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2220365.2220366
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T15:42:24Z
  date_updated: 2018-11-02T15:42:24Z
  file_id: '5310'
  file_name: a7-bodden.pdf
  file_size: 2280938
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T15:42:24Z
has_accepted_license: '1'
intvolume: '        34'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/blh12partially.pdf
page: 1-52
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
  issn:
  - 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Partially Evaluating Finite-State Runtime Monitors Ahead of Time
type: journal_article
user_id: '477'
volume: 34
year: '2012'
...
