---
_id: '19'
abstract:
- lang: eng
text: "Version Control Systems (VCS) are a valuable tool for software development\r\nand
document management. Both client/server and distributed (Peer-to-Peer)\r\nmodels
exist, with the latter (e.g., Git and Mercurial) becoming\r\nincreasingly popular.
Their distributed nature introduces complications,\r\nespecially concerning security:
it is hard to control the dissemination of\r\ncontents stored in distributed VCS
as they rely on replication of complete\r\nrepositories to any involved user.\r\n\r\nWe
overcome this issue by designing and implementing a concept for\r\ncryptography-enforced
access control which is transparent to the user. Use\r\nof field-tested schemes
(end-to-end encryption, digital signatures) allows\r\nfor strong security, while
adoption of convergent encryption and\r\ncontent-defined chunking retains storage
efficiency. The concept is\r\nseamlessly integrated into Mercurial---respecting
its distributed storage\r\nconcept---to ensure practical usability and compatibility
to existing\r\ndeployments."
author:
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Dominik
full_name: Leibenger, Dominik
last_name: Leibenger
- first_name: Christoph
full_name: Sorge, Christoph
last_name: Sorge
citation:
ama: 'Lass M, Leibenger D, Sorge C. Confidentiality and Authenticity for Distributed
Version Control Systems - A Mercurial Extension. In: Proc. 41st Conference
on Local Computer Networks (LCN). IEEE; 2016. doi:10.1109/lcn.2016.11'
apa: Lass, M., Leibenger, D., & Sorge, C. (2016). Confidentiality and Authenticity
for Distributed Version Control Systems - A Mercurial Extension. In Proc. 41st
Conference on Local Computer Networks (LCN). IEEE. https://doi.org/10.1109/lcn.2016.11
bibtex: '@inproceedings{Lass_Leibenger_Sorge_2016, title={Confidentiality and Authenticity
for Distributed Version Control Systems - A Mercurial Extension}, DOI={10.1109/lcn.2016.11},
booktitle={Proc. 41st Conference on Local Computer Networks (LCN)}, publisher={IEEE},
author={Lass, Michael and Leibenger, Dominik and Sorge, Christoph}, year={2016}
}'
chicago: Lass, Michael, Dominik Leibenger, and Christoph Sorge. “Confidentiality
and Authenticity for Distributed Version Control Systems - A Mercurial Extension.”
In Proc. 41st Conference on Local Computer Networks (LCN). IEEE, 2016.
https://doi.org/10.1109/lcn.2016.11.
ieee: M. Lass, D. Leibenger, and C. Sorge, “Confidentiality and Authenticity for
Distributed Version Control Systems - A Mercurial Extension,” in Proc. 41st
Conference on Local Computer Networks (LCN), 2016.
mla: Lass, Michael, et al. “Confidentiality and Authenticity for Distributed Version
Control Systems - A Mercurial Extension.” Proc. 41st Conference on Local Computer
Networks (LCN), IEEE, 2016, doi:10.1109/lcn.2016.11.
short: 'M. Lass, D. Leibenger, C. Sorge, in: Proc. 41st Conference on Local Computer
Networks (LCN), IEEE, 2016.'
date_created: 2017-07-25T14:36:16Z
date_updated: 2022-01-06T06:53:56Z
department:
- _id: '27'
- _id: '518'
doi: 10.1109/lcn.2016.11
keyword:
- access control
- distributed version control systems
- mercurial
- peer-to-peer
- convergent encryption
- confidentiality
- authenticity
language:
- iso: eng
publication: Proc. 41st Conference on Local Computer Networks (LCN)
publication_identifier:
isbn:
- 978-1-5090-2054-6
publication_status: published
publisher: IEEE
status: public
title: Confidentiality and Authenticity for Distributed Version Control Systems -
A Mercurial Extension
type: conference
user_id: '24135'
year: '2016'
...
---
_id: '190'
abstract:
- lang: eng
text: Today, software components are provided by global markets in the form of services.
In order to optimally satisfy service requesters and service providers, adequate
techniques for automatic service matching are needed. However, a requester’s requirements
may be vague and the information available about a provided service may be incomplete.
As a consequence, fuzziness is induced into the matching procedure. The contribution
of this paper is the development of a systematic matching procedure that leverages
concepts and techniques from fuzzy logic and possibility theory based on our formal
distinction between different sources and types of fuzziness in the context of
service matching. In contrast to existing methods, our approach is able to deal
with imprecision and incompleteness in service specifications and to inform users
about the extent of induced fuzziness in order to improve the user’s decision-making.
We demonstrate our approach on the example of specifications for service reputation
based on ratings given by previous users. Our evaluation based on real service
ratings shows the utility and applicability of our approach.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Ammar
full_name: Shaker, Ammar
last_name: Shaker
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: Platenius MC, Shaker A, Becker M, Hüllermeier E, Schäfer W. Imprecise Matching
of Requirements Specifications for Software Services using Fuzzy Logic. IEEE
Transactions on Software Engineering (TSE), presented at ICSE 2017. 2016;(8):739-759.
doi:10.1109/TSE.2016.2632115
apa: Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., & Schäfer, W.
(2016). Imprecise Matching of Requirements Specifications for Software Services
using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented
at ICSE 2017, (8), 739–759. https://doi.org/10.1109/TSE.2016.2632115
bibtex: '@article{Platenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title={Imprecise
Matching of Requirements Specifications for Software Services using Fuzzy Logic},
DOI={10.1109/TSE.2016.2632115},
number={8}, journal={IEEE Transactions on Software Engineering (TSE), presented
at ICSE 2017}, publisher={IEEE}, author={Platenius, Marie Christin and Shaker,
Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm}, year={2016},
pages={739–759} }'
chicago: 'Platenius, Marie Christin, Ammar Shaker, Matthias Becker, Eyke Hüllermeier,
and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software
Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering (TSE),
Presented at ICSE 2017, no. 8 (2016): 739–59. https://doi.org/10.1109/TSE.2016.2632115.'
ieee: M. C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, and W. Schäfer, “Imprecise
Matching of Requirements Specifications for Software Services using Fuzzy Logic,”
IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017,
no. 8, pp. 739–759, 2016.
mla: Platenius, Marie Christin, et al. “Imprecise Matching of Requirements Specifications
for Software Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering
(TSE), Presented at ICSE 2017, no. 8, IEEE, 2016, pp. 739–59, doi:10.1109/TSE.2016.2632115.
short: M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions
on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
date_created: 2017-10-17T12:41:29Z
date_updated: 2022-01-06T06:53:57Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/TSE.2016.2632115
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:30:31Z
date_updated: 2018-03-21T12:30:31Z
file_id: '1529'
file_name: 190-07755807.pdf
file_size: 5225413
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:30:31Z
has_accepted_license: '1'
issue: '8'
language:
- iso: eng
page: 739-759
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017
publisher: IEEE
status: public
title: Imprecise Matching of Requirements Specifications for Software Services using
Fuzzy Logic
type: journal_article
user_id: '15504'
year: '2016'
...
---
_id: '2367'
abstract:
- lang: eng
text: One of the most popular fuzzy clustering techniques is the fuzzy K-means algorithm
(also known as fuzzy-c-means or FCM algorithm). In contrast to the K-means and
K-median problem, the underlying fuzzy K-means problem has not been studied from
a theoretical point of view. In particular, there are no algorithms with approximation
guarantees similar to the famous K-means++ algorithm known for the fuzzy K-means
problem. This work initiates the study of the fuzzy K-means problem from an algorithmic
and complexity theoretic perspective. We show that optimal solutions for the fuzzy
K-means problem cannot, in general, be expressed by radicals over the input points.
Surprisingly, this already holds for simple inputs in one-dimensional space. Hence,
one cannot expect to compute optimal solutions exactly. We give the first (1+eps)-approximation
algorithms for the fuzzy K-means problem. First, we present a deterministic approximation
algorithm whose runtime is polynomial in N and linear in the dimension D of the
input set, given that K is constant, i.e. a polynomial time approximation scheme
(PTAS) for fixed K. We achieve this result by showing that for each soft clustering
there exists a hard clustering with similar properties. Second, by using techniques
known from coreset constructions for the K-means problem, we develop a deterministic
approximation algorithm that runs in time almost linear in N but exponential in
the dimension D. We complement these results with a randomized algorithm which
imposes some natural restrictions on the sought solution and whose runtime is
comparable to some of the most efficient approximation algorithms for K-means,
i.e. linear in the number of points and the dimension, but exponential in the
number of clusters.
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Sascha
full_name: Brauer, Sascha
id: '13291'
last_name: Brauer
- first_name: Kathrin
full_name: Bujna, Kathrin
last_name: Bujna
citation:
ama: 'Blömer J, Brauer S, Bujna K. A Theoretical Analysis of the Fuzzy K-Means Problem.
In: 2016 IEEE 16th International Conference on Data Mining (ICDM). IEEE;
2016:805-810. doi:10.1109/icdm.2016.0094'
apa: 'Blömer, J., Brauer, S., & Bujna, K. (2016). A Theoretical Analysis of
the Fuzzy K-Means Problem. In 2016 IEEE 16th International Conference on Data
Mining (ICDM) (pp. 805–810). Barcelona, Spain: IEEE. https://doi.org/10.1109/icdm.2016.0094'
bibtex: '@inproceedings{Blömer_Brauer_Bujna_2016, title={A Theoretical Analysis
of the Fuzzy K-Means Problem}, DOI={10.1109/icdm.2016.0094},
booktitle={2016 IEEE 16th International Conference on Data Mining (ICDM)}, publisher={IEEE},
author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2016},
pages={805–810} }'
chicago: Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “A Theoretical Analysis
of the Fuzzy K-Means Problem.” In 2016 IEEE 16th International Conference on
Data Mining (ICDM), 805–10. IEEE, 2016. https://doi.org/10.1109/icdm.2016.0094.
ieee: J. Blömer, S. Brauer, and K. Bujna, “A Theoretical Analysis of the Fuzzy K-Means
Problem,” in 2016 IEEE 16th International Conference on Data Mining (ICDM),
Barcelona, Spain, 2016, pp. 805–810.
mla: Blömer, Johannes, et al. “A Theoretical Analysis of the Fuzzy K-Means Problem.”
2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016,
pp. 805–10, doi:10.1109/icdm.2016.0094.
short: 'J. Blömer, S. Brauer, K. Bujna, in: 2016 IEEE 16th International Conference
on Data Mining (ICDM), IEEE, 2016, pp. 805–810.'
conference:
end_date: 2016-12-15
location: Barcelona, Spain
name: IEEE 16th International Conference on Data Mining (ICDM)
start_date: 2016-12-12
date_created: 2018-04-17T11:46:07Z
date_updated: 2022-01-06T06:55:58Z
department:
- _id: '64'
doi: 10.1109/icdm.2016.0094
keyword:
- unsolvability by radicals
- clustering
- fuzzy k-means
- probabilistic method
- approximation algorithms
- randomized algorithms
language:
- iso: eng
page: 805-810
publication: 2016 IEEE 16th International Conference on Data Mining (ICDM)
publication_identifier:
isbn:
- '9781509054732'
publication_status: published
publisher: IEEE
status: public
title: A Theoretical Analysis of the Fuzzy K-Means Problem
type: conference
user_id: '25078'
year: '2016'
...
---
_id: '20556'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Ka
full_name: I Pun, Ka
last_name: I Pun
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Volker
full_name: Stolz, Volker
last_name: Stolz
- first_name: Anna-Katharina
full_name: Wickert, Anna-Katharina
last_name: Wickert
citation:
ama: 'Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis
for Go. In: Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}. ; 2016:431-445. doi:10.1007/978-3-319-47166-2_30'
apa: 'Bodden, E., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016).
Information Flow Analysis for Go. Leveraging Applications of Formal Methods,
Verification and Validation: Foundational Techniques - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I},
431–445. https://doi.org/10.1007/978-3-319-47166-2_30'
bibtex: '@inproceedings{Bodden_I Pun_Steffen_Stolz_Wickert_2016, title={Information
Flow Analysis for Go}, DOI={10.1007/978-3-319-47166-2_30},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}}, author={Bodden, Eric and
I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina},
year={2016}, pages={431–445} }'
chicago: 'Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina
Wickert. “Information Flow Analysis for Go.” In Leveraging Applications of
Formal Methods, Verification and Validation: Foundational Techniques - 7th International
Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {I}, 431–45, 2016. https://doi.org/10.1007/978-3-319-47166-2_30.'
ieee: 'E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Information
Flow Analysis for Go,” in Leveraging Applications of Formal Methods, Verification
and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016,
pp. 431–445, doi: 10.1007/978-3-319-47166-2_30.'
mla: 'Bodden, Eric, et al. “Information Flow Analysis for Go.” Leveraging Applications
of Formal Methods, Verification and Validation: Foundational Techniques - 7th
International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,
Proceedings, Part {I}, 2016, pp. 431–45, doi:10.1007/978-3-319-47166-2_30.'
short: 'E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging
Applications of Formal Methods, Verification and Validation: Foundational Techniques
- 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,
2016, Proceedings, Part {I}, 2016, pp. 431–445.'
date_created: 2020-11-30T11:02:52Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
doi: 10.1007/978-3-319-47166-2_30
language:
- iso: eng
page: 431-445
publication: 'Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}'
status: public
title: Information Flow Analysis for Go
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '207'
abstract:
- lang: eng
text: We consider a scheduling problem where machines need to be rented from the
cloud in order to process jobs. There are two types of machines available which
can be rented for machine-type dependent prices and for arbitrary durations. However,
a machine-type dependent setup time is required before a machine is available
for processing. Jobs arrive online over time, have machine-type dependent sizes
and have individual deadlines. The objective is to rent machines and schedule
jobs so as to meet all deadlines while minimizing the rental cost. Since we observe
the slack of jobs to have a fundamental influence on the competitiveness, we study
the model when instances are parameterized by their (minimum) slack. An instance
is called to have a slack of $\beta$ if, for all jobs, the difference between
the job's release time and the latest point in time at which it needs to be started
is at least $\beta$. While for $\beta series = {LNCS}
author:
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
citation:
ama: 'Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling
on Machines from the Cloud. In: Proceedings of the 10th Annual International
Conference on Combinatorial Optimization and Applications (COCOA). ; 2016:578--592.
doi:10.1007/978-3-319-48749-6_42'
apa: Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2016).
Cost-efficient Scheduling on Machines from the Cloud. In Proceedings of the
10th Annual International Conference on Combinatorial Optimization and Applications
(COCOA) (pp. 578--592). https://doi.org/10.1007/978-3-319-48749-6_42
bibtex: '@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2016, title={Cost-efficient
Scheduling on Machines from the Cloud}, DOI={10.1007/978-3-319-48749-6_42},
booktitle={Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA)}, author={Mäcker, Alexander and Malatyali,
Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2016}, pages={578--592}
}'
chicago: Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and
Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.” In Proceedings
of the 10th Annual International Conference on Combinatorial Optimization and
Applications (COCOA), 578--592, 2016. https://doi.org/10.1007/978-3-319-48749-6_42.
ieee: A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient
Scheduling on Machines from the Cloud,” in Proceedings of the 10th Annual International
Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp.
578--592.
mla: Mäcker, Alexander, et al. “Cost-Efficient Scheduling on Machines from the Cloud.”
Proceedings of the 10th Annual International Conference on Combinatorial Optimization
and Applications (COCOA), 2016, pp. 578--592, doi:10.1007/978-3-319-48749-6_42.
short: 'A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings
of the 10th Annual International Conference on Combinatorial Optimization and
Applications (COCOA), 2016, pp. 578--592.'
date_created: 2017-10-17T12:41:32Z
date_updated: 2022-01-06T06:54:33Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.1007/978-3-319-48749-6_42
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:18:51Z
date_updated: 2018-11-02T14:18:51Z
file_id: '5268'
file_name: Cost-EfficientSchedulingOnMach.pdf
file_size: 608614
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:18:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 578--592
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA)
status: public
title: Cost-efficient Scheduling on Machines from the Cloud
type: conference
user_id: '477'
year: '2016'
...
---
_id: '20716'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Michael
full_name: Eichberg, Michael
last_name: Eichberg
- first_name: Ka
full_name: I Pun, Ka
last_name: I Pun
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Volker
full_name: Stolz, Volker
last_name: Stolz
- first_name: Anna-Katharina
full_name: Wickert, Anna-Katharina
last_name: Wickert
citation:
ama: 'Bodden E, Eichberg M, I Pun K, Steffen M, Stolz V, Wickert A-K. Don’t let
data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in
Go. In: Nordic Workshop on Programming Theory (NWPT’16). ; 2016.'
apa: Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., & Wickert,
A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for
Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
bibtex: '@inproceedings{Bodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title={Don’t
let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs
in Go}, booktitle={Nordic Workshop on Programming Theory (NWPT’16)}, author={Bodden,
Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker
and Wickert, Anna-Katharina}, year={2016} }'
chicago: Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz,
and Anna-Katharina Wickert. “Don’t Let Data Go Astray---A Context-Sensitive Taint
Analysis for Concurrent Programs in Go.” In Nordic Workshop on Programming
Theory (NWPT’16), 2016.
ieee: E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert,
“Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent
Programs in Go,” 2016.
mla: Bodden, Eric, et al. “Don’t Let Data Go Astray---A Context-Sensitive Taint
Analysis for Concurrent Programs in Go.” Nordic Workshop on Programming Theory
(NWPT’16), 2016.
short: 'E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in:
Nordic Workshop on Programming Theory (NWPT’16), 2016.'
date_created: 2020-12-14T11:56:15Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/bep16gotaint.pdf
publication: Nordic Workshop on Programming Theory (NWPT'16)
status: public
title: Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent
Programs in Go
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20717'
author:
- 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: Benjamin
full_name: Livshits, Benjamin
last_name: Livshits
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Justin
full_name: Smith, Justin
last_name: Smith
- first_name: Emerson
full_name: Murphy-Hill, Emerson
last_name: Murphy-Hill
citation:
ama: Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-Time
Static Analysis.; 2016. doi:http://dx.doi.org/10.7939/DVN/10859
apa: Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill,
E. (2016). Just-in-Time Static Analysis. http://dx.doi.org/10.7939/DVN/10859
bibtex: '@book{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title={Just-in-Time
Static Analysis}, DOI={http://dx.doi.org/10.7939/DVN/10859},
author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden,
Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2016} }'
chicago: Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin
Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016. http://dx.doi.org/10.7939/DVN/10859.
ieee: L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill,
Just-in-Time Static Analysis. 2016.
mla: Nguyen Quang Do, Lisa, et al. Just-in-Time Static Analysis. 2016, doi:http://dx.doi.org/10.7939/DVN/10859.
short: L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill,
Just-in-Time Static Analysis, 2016.
date_created: 2020-12-14T11:57:09Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://dx.doi.org/10.7939/DVN/10859
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/dal16jit-tr.pdf
status: public
title: Just-in-Time Static Analysis
type: report
user_id: '5786'
year: '2016'
...
---
_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. Datenschutz
und Datensicherheit. Published online 2016:718-722. doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
apa: Rasthofer, S., Arzt, S., Bodden, E., & Miltenberger, M. (2016). Harvester
- Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen.
Datenschutz Und Datensicherheit, 718–722. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
bibtex: '@article{Rasthofer_Arzt_Bodden_Miltenberger_2016, title={Harvester - Vollautomatische
Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}, DOI={https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536},
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.”
Datenschutz Und Datensicherheit, 2016, 718–22. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
ieee: 'S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische
Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” Datenschutz
und Datensicherheit, pp. 718–722, 2016, doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.'
mla: Rasthofer, Siegfried, et al. “Harvester - Vollautomatische Extraktion von Laufzeitwerten
Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit,
2016, pp. 718–22, doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
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: Proceedings of the 2016 ACM SIGSAC Conference
on Computer and Communications Security. CCS ’16. ; 2016:779-790. doi:http://doi.acm.org/10.1145/2976749.2978361'
apa: Holzinger, P., Triller, S., Bartel, A., & Bodden, E. (2016). An In-Depth
Study of More Than Ten Years of Java Exploitation. Proceedings of the 2016
ACM SIGSAC Conference on Computer and Communications Security, 779–790. http://doi.acm.org/10.1145/2976749.2978361
bibtex: '@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16},
title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={http://doi.acm.org/10.1145/2976749.2978361},
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 Proceedings
of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
779–90. CCS ’16, 2016. http://doi.acm.org/10.1145/2976749.2978361.
ieee: 'P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of
More Than Ten Years of Java Exploitation,” in Proceedings of the 2016 ACM SIGSAC
Conference on Computer and Communications Security, 2016, pp. 779–790, doi:
http://doi.acm.org/10.1145/2976749.2978361.'
mla: Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java
Exploitation.” Proceedings of the 2016 ACM SIGSAC Conference on Computer and
Communications Security, 2016, pp. 779–90, doi:http://doi.acm.org/10.1145/2976749.2978361.
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: International Workshop on Security and
Trust Management (STM). ; 2016:212-228.'
apa: 'Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M.,
& Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution. International Workshop on Security and Trust Management (STM),
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 International Workshop on Security and
Trust Management (STM), 212–28, 2016.'
ieee: 'A. Follner et al., “PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution,” in International Workshop on Security and Trust Management
(STM), 2016, pp. 212–228.'
mla: 'Follner, Andreas, et al. “PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution.” International Workshop on Security and Trust Management
(STM), 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: Proceedings of the 5th ACM SIGPLAN International Workshop on State
Of the Art in Program Analysis. SOAP 2016. ; 2016:13-17.'
apa: Nguyen Quang Do, L., Eichberg, M., & Bodden, E. (2016). Toward an Automated
Benchmark Management System. Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 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 Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 13–17. SOAP 2016, 2016.
ieee: L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark
Management System,” in Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 2016, pp. 13–17.
mla: Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.”
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
in Program Analysis, 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: Proceedings of the 5th ACM SIGPLAN International Workshop on
State Of the Art in Program Analysis. SOAP 2016. ; 2016:1-6.'
apa: Arzt, S., Kussmaul, T., & Bodden, E. (2016). Towards Cross-Platform Cross-Language
Analysis with Soot. Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 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 Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 1–6. SOAP 2016, 2016.
ieee: S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language
Analysis with Soot,” in Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 2016, pp. 1–6.
mla: Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.”
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
in Program Analysis, 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. Journal
of Information Security and Applications . 2016;29:16-26. doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002
apa: Follner, A., & Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse
attacks. Journal of Information Security and Applications , 29,
16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002
bibtex: '@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse
attacks}, volume={29}, DOI={http://dx.doi.org/10.1016/j.jisa.2016.01.002},
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.” Journal of Information Security and Applications 29 (2016):
16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002.'
ieee: 'A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,”
Journal of Information Security and Applications , vol. 29, pp. 16–26,
2016, doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002.'
mla: Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
Attacks.” Journal of Information Security and Applications , vol. 29, 2016,
pp. 16–26, doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002.
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: International Symposium on Engineering Secure Software
and Systems (ESSoS). ; 2016.'
apa: Follner, A., Bartel, A., & Bodden, E. (2016). Analyzing the Gadgets - Towards
a Metric to Measure Gadget Quality. International Symposium on Engineering
Secure Software and Systems (ESSoS).
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 International Symposium on
Engineering Secure Software and Systems (ESSoS), 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.” International Symposium on Engineering Secure Software and
Systems (ESSoS), 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. 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; 2016:116-138. doi:10.1007/978-3-662-49635-0_7'
apa: 'Falzon, K., & Bodden, E. (2016). Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels. 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 (pp. 116–138). Springer
Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49635-0_7'
bibtex: '@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards
a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7},
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 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, edited by Frank Piessens and Luca Vigan’o, 116–38.
Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. https://doi.org/10.1007/978-3-662-49635-0_7.'
ieee: 'K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for
Mitigating Illicit Channels,” in 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, 2016, pp. 116–138, doi: 10.1007/978-3-662-49635-0_7.'
mla: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels.” 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, edited by Frank Piessens and Luca Vigan’o, Springer Berlin
Heidelberg, 2016, pp. 116–38, doi:10.1007/978-3-662-49635-0_7.'
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: Network and
Distributed System Security Symposium (NDSS). ; 2016.'
apa: Rasthofer, S., Arzt, S., Miltenberger, M., & Bodden, E. (2016). Harvesting
Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
Network and Distributed System Security Symposium (NDSS).
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 Network and Distributed System Security Symposium (NDSS),
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.” Network and Distributed System Security
Symposium (NDSS), 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: International Conference for Software
Engineering (ICSE). ; 2016:935-946.'
apa: 'Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through
Hoops: Why do Java Developers Struggle With Cryptography APIs? International
Conference for Software Engineering (ICSE), 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 International
Conference for Software Engineering (ICSE), 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 International Conference
for Software Engineering (ICSE), 2016, pp. 935–946.'
mla: 'Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle
With Cryptography APIs?” International Conference for Software Engineering
(ICSE), 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: International Conference for Software Engineering
(ICSE). ; 2016.'
apa: 'Arzt, S., & Bodden, E. (2016). StubDroid: Automatic Inference of Precise
Data-flow Summaries for the Android Framework. International Conference for
Software Engineering (ICSE).'
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 International Conference
for Software Engineering (ICSE), 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.” International Conference for
Software Engineering (ICSE), 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: 2016 49th
Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675.
doi:10.1109/HICSS.2016.458'
apa: 'Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., & Buxmann, P. (2016).
Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675.
https://doi.org/10.1109/HICSS.2016.458'
bibtex: '@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={10.1109/HICSS.2016.458},
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 2016
49th Hawaii International Conference on System Sciences (HICSS), 3666–75,
2016. https://doi.org/10.1109/HICSS.2016.458.'
ieee: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in 2016
49th Hawaii International Conference on System Sciences (HICSS), 2016, pp.
3666–3675, doi: 10.1109/HICSS.2016.458.'
mla: 'Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests:
A Market Experiment.” 2016 49th Hawaii International Conference on System Sciences
(HICSS), 2016, pp. 3666–75, doi:10.1109/HICSS.2016.458.'
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: '208'
abstract:
- lang: eng
text: This paper presents a new framework for constructing fully CCA-secure predicate
encryption schemes from pair encoding schemes. Our construction is the first in
the context of predicate encryption which uses the technique of well-formedness
proofs known from public key encryption. The resulting constructions are simpler
and more efficient compared to the schemes achieved using known generic transformations
from CPA-secure to CCA-secure schemes. The reduction costs of our framework are
comparable to the reduction costs of the underlying CPA-secure framework. We achieve
this last result by applying the dual system encryption methodology in a novel
way.
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Gennadij
full_name: Liske, Gennadij
last_name: Liske
citation:
ama: 'Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions
from Pair Encoding Schemes. In: Proceedings of the CT-RSA 2016. LNCS. ;
2016:431-447. doi:10.1007/978-3-319-29485-8_25'
apa: Blömer, J., & Liske, G. (2016). Construction of Fully CCA-Secure Predicate
Encryptions from Pair Encoding Schemes. In Proceedings of the CT-RSA 2016
(pp. 431–447). https://doi.org/10.1007/978-3-319-29485-8_25
bibtex: '@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of
Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={10.1007/978-3-319-29485-8_25},
booktitle={Proceedings of the CT-RSA 2016}, author={Blömer, Johannes and Liske,
Gennadij}, year={2016}, pages={431–447}, collection={LNCS} }'
chicago: Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure
Predicate Encryptions from Pair Encoding Schemes.” In Proceedings of the CT-RSA
2016, 431–47. LNCS, 2016. https://doi.org/10.1007/978-3-319-29485-8_25.
ieee: J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions
from Pair Encoding Schemes,” in Proceedings of the CT-RSA 2016, 2016, pp.
431–447.
mla: Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate
Encryptions from Pair Encoding Schemes.” Proceedings of the CT-RSA 2016,
2016, pp. 431–47, doi:10.1007/978-3-319-29485-8_25.
short: 'J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.'
date_created: 2017-10-17T12:41:32Z
date_updated: 2022-01-06T06:54:39Z
ddc:
- '040'
department:
- _id: '64'
doi: 10.1007/978-3-319-29485-8_25
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:43:36Z
date_updated: 2018-03-21T10:43:36Z
file_id: '1521'
file_name: 208-aCCA_P-KEM_final.pdf
file_size: 462666
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:43:36Z
has_accepted_license: '1'
page: 431-447
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the CT-RSA 2016
series_title: LNCS
status: public
title: Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
type: conference
user_id: '477'
year: '2016'
...