TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: A | B | F | I | K | L | N | R | T
Anzahl der Einträge auf dieser Ebene: 57.

A

Arzt, Steven :
Static Data Flow Analysis for Android Applications.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5937]
Technische Universität , Darmstadt
[Dissertation], (2016)

Arzt, Steven ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Erdweg, Sebastian ; Mezini, Mira :
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software .
[Konferenz- oder Workshop-Beitrag], (2015)

Arzt, Steven ; Rasthofer, Siegfried ; Hahn, Robert ; Bodden, Eric :
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis.
In: 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 14.06.2015, Portland, USA. Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
[Konferenz- oder Workshop-Beitrag], (2015)

Arzt, Steven ; Bodden, Eric :
Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.
In: ICSE, Hyderabad.
[Konferenz- oder Workshop-Beitrag], (2014)

Ali, Karim ; Rapoport, Marianna ; Lhoták, Ondřej ; Dolby, Julian ; Tip, Frank :
Constructing Call Graphs of Scala Programs.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-44202-9_3]
In: Proceedings of the 28th European Conference on Object-Oriented Programming. In: ECOOP '14 .
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Rasthofer, Siegfried ; Fritz, Christian ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; Le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps.
In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh.
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Huber, Stephan ; Rasthofer, Siegfried ; Bodden, Eric :
Denial-of-App Attack: Inhibiting the Installation of Android Apps on Stock Phones.
In: 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, Scottsdale. In: Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices .
[Konferenz- oder Workshop-Beitrag], (2014)

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric :
Instrumenting Android and Java Applications as Easy as abc.
In: Runtime Verification 2013 (RV'13) pp. 364-381.
[Artikel], (2013)

Arzt, Steven ; Bodden, Eric :
Efficiently updating IDE-based data-flow analyses in response to incremental program changes.
[Online-Edition: http://www.bodden.de/pubs/TUD-CS-2013-0253.pdf]

[Report], (2013)

Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric :
SuSi: A Tool for the Fully Automated Classification and Categorization of Android Sources and Sinks.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...]

[Report], (2013)

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker :
How useful are existing monitoring languages for securing Android apps?
[Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf]
In: 6. Arbeitstagung Programmiersprachen (ATPS 2013). In: GI Lecture Notes in Informatics . Gesellschaft für Informatik
[Konferenz- oder Workshop-Beitrag], (2013)

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker :
How useful are existing monitoring languages for securing Android apps?
[Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf]
In: 6. Arbeitstagung Programmiersprachen (ATPS 2013). In: GI Lecture Notes in Informatics . Gesellschaft für Informatik
[Konferenz- oder Workshop-Beitrag], (2013)

Ali, Karim ; Lhoták, Ondřej :
Averroes: Whole-Program Analysis without the Whole Program.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-39038-8_16]
In: Proceedings of the 27th European Conference on Object-Oriented Programming. In: ECOOP '13 .
[Konferenz- oder Workshop-Beitrag], (2013)

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan :
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33383-5_11]
In: 15th International Conference on Information Security, 19-21 Sep 2012, Passau, Germany. In: Lecture Notes in Computer Science (ISSN 0302-9743) , 7483 .
[Konferenz- oder Workshop-Beitrag], (2012)

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi :
Challenges for Refinement and Composition of Instrumentations (Position Paper).
[Online-Edition: http://www.bodden.de/pubs/abb+12challenges.pdf]
In: International Conference on Software Composition (SC 2012).
[Konferenz- oder Workshop-Beitrag], (2012)

Ali, Karim ; Lhoták, Ondřej :
Application-Only Call Graph Construction.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-31057-7_30]
In: Proceedings of the 26th European Conference on Object-Oriented Programming. In: ECOOP '12 .
[Konferenz- oder Workshop-Beitrag], (2012)

Ali, Karim ; Aib, Issam ; Boutaba, Raouf :
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Konferenz- oder Workshop-Beitrag], (2009)

Ali, Karim ; Boutaba, Raouf :
Applying Kernel Methods to Anomaly-based Intrusion Detection Systems.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Konferenz- oder Workshop-Beitrag], (2009)

Aly, Sherif G. ; Nadi, Sarah ; Hamdan, Karim :
A Java-Based Programming Language Support of Location Management in Pervasive Systems.
In: International Journal of Computer Science and Network Security, 8 (6) pp. 329-336.
[Artikel], (2008)

B

Baluda, Mauro :
EvoSE: Evolutionary Symbolic Execution.
[Online-Edition: http://dx.doi.org/10.1145/2804322.2804325]
In: Proceedings for ESEC/FSE 2015 Workshops - 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015)
[Artikel], (2015)

Bodden, Eric ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira :
Reducing human factors in software security architectures.
[Online-Edition: http://www.bodden.de/pubs/blh+13reducing.pdf]
In: Future Security Conference 2013.
[Konferenz- oder Workshop-Beitrag], (2013)

Bodden, Eric ; Mezini, Mira ; Brabrand, Claus ; Tolêdo, Társis ; Ribeiro, Márcio ; Borba, Paulo :
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
[Online-Edition: http://www.bodden.de/pubs/bmb+13spllift.pdf]
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013).
[Konferenz- oder Workshop-Beitrag], (2013)

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira :
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
[Online-Edition: http://www.bodden.de/pubs/btr+12transparent.pdf]

[Report], (2012)

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker :
Delta-oriented Monitor Specification.
[Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf]
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric ; Follner, Andreas ; Rasthofer, Siegfried :
Challenges in defining a programming language for provably correct dynamic analyses.
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric :
Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs.
In: FOAL 2012: International Workshop on the Foundations of Aspect-Oriented Languages.
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric :
Identifying meaningless parameterized linear-temporal-logic formulas.

[Report], (2012)

Bodden, Eric :
On the Expressiveness of Parameterized Finite-state Runtime Monitors.

[Report], (2012)

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie :
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS)
[Artikel], (2012)

Bodden, Eric :
MOPBox: A Library Approach to Runtime Verification.
[Online-Edition: http://www.bodden.de/pubs/bodden11mopbox.pdf]
In: RV ; 2 (San Francisco, CA) : 2011.09.27-30 International Conference on Runtime Verification ; 2 (San Francisco, CA) : 2011.09.27-30. In: Lecture notes in computer science , 7186 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Bodden, Eric :
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
[Online-Edition: http://www.bodden.de/pubs/bodden11stateful.pdf]
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric :
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
[Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf]
In: WODA '11: International Workshop on Dynamic Analysis. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric :
Closure Joinpoints: Block joinpoints without surprises.
[Online-Edition: http://www.bodden.de/pubs/bodden11closure.pdf]
In: AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development. ACM
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira :
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
[Online-Edition: http://doi.acm.org/10.1145/1985793.1985827]
In: International Conference on Software Engineering, 21-28 May 2011, Waikiki, Honolulu, HI, USA. Proceedings of the 33rd International Conference on Software Engineering New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2011)

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie :
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

Bodden, Eric ; Lam, Patrick :
Clara: Partially Evaluating Runtime Monitors at Compile Time.
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira :
IDE 2.0: Collective Intelligence in Software Development.
[Online-Edition: http://www.bodden.de/pubs/bbmm10ide.pdf]
In: FSE/SDP Workshop on the Future of Software Engineering. ACM
[Konferenz- oder Workshop-Beitrag], (2010)

Bodden, Eric ; Havelund, Klaus :
Aspect-oriented Race Detection in Java.
In: IEEE Transactions on Software Engineering (TSE), 36 (4) pp. 509-527.
[Artikel], (2010)

F

Falzon, Kevin :
On the Use of Migration to Stop Illicit Channels.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5907]
Technische Universität , Darmstadt
[Dissertation], (2016)

Follner, Andreas :
On Generating Gadget Chains for Return-Oriented Programming.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5906]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Falzon, Kevin ; Bodden, Eric
Lopez, Javier ; Mitchell, Chris J. (eds.) :

Dynamically Provisioning Isolation in Hierarchical Architectures.
In: Information Security Conference, Trondheim. In: Lecture Notes in Computer Science , 9290 .
[Konferenz- oder Workshop-Beitrag], (2015)

Falzon, Kevin ; Bodden, Eric ; Purandare, Rahul :
Distributed Finite-State Runtime Monitoring with Aggregated Events.
In: Runtime Verification 2013 (RV'13), LNCS
[Artikel], (2013)

Fritz, Christian ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Bartel, Alexandre ; Klein, Jacques ; le Traon, Yves ; Octeau, Damien ; McDaniel, Patrick :
Highly Precise Taint Analysis for Android Applications.
[Online-Edition: http://www.informatik.tu-darmstadt.de/fileadmin/user_upload/...]

[Report], (2013)

Falzon, Kevin ; Pace, Gordon J.
Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (eds.) :

Combining Testing and Runtime Verification.
[Online-Edition: http://www.di.uminho.pt/mompes]
In: 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, September 04, 2012, Essen, Germany.
[Konferenz- oder Workshop-Beitrag], (2012)

I

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric :
Modular Reasoning with Join Point Interfaces.

[Report], (2011)

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric :
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
[Online-Edition: http://www.bodden.de/pubs/itb11jpi.pdf]
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
[Konferenz- oder Workshop-Beitrag], (2011)

K

Kononenko, Kirill :
A Unified Approach to Identifying and Healing Vulnerabilities in x86 Machine Code.
International Conference on Mobile Computing and Networking
[Konferenz- oder Workshop-Beitrag], (2012)

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz :
Reducing Configurations to Monitor in a Software Product Line.
[Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf]
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

L

Lerch, Johannes ; Hermann, Ben ; Bodden, Eric ; Mezini, Mira :
FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large Codebases.
[Online-Edition: http://doi.acm.org/10.1145/2635868.2635878]
In: Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. In: FSE 2014 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag], (2014)

Li, Li ; Bartel, Alexandre ; Klein, Jacques ; Traon, Yves Le ; Arzt, Steven ; Rasthofer, Siegfried ; Bodden, Eric ; Octeau, Damien ; McDaniel, Patrick :
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis.
[Online-Edition: http://www.abartel.net/static/p/tr-iccta.pdf]
In: arXiv preprint arXiv:1404.7431
[Report], (2014)

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; Hendren, Laurie :
The Soot framework for Java program analysis: a retrospective.
[Online-Edition: http://www.bodden.de/pubs/lblh11soot.pdf]
In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011).
[Konferenz- oder Workshop-Beitrag], (2011)

N

Nadi, Sarah ; Krüger, Stefan :
Variability Modeling of Cryptographic Components (Clafer Experience Report).
In: Tenth International Workshop on Variability Modelling of Software-intensive Systems, 27. - 29.1.2016, Salvador, Brazil. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems .
[Konferenz- oder Workshop-Beitrag], (2016)

R

Rasthofer, Siegfried :
Improving Mobile-Malware Investigations with Static and Dynamic Code Analysis Techniques.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5911]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Rasthofer, Siegfried ; Arzt, Steven ; Lovat, Enrico ; Bodden, Eric :
DROIDFORCE: Enforcing Complex, Data-Centric, System-Wide Policies in Android.
In: Proceedings of the International Conference on Availability, Reliability and Security (ARES)
[Artikel], (2014)

Rasthofer, Siegfried ; Arzt, Steven ; Bodden, Eric :
A machine-learning approach for classifying and categorizing android sources and sinks.
In: 2014 Network and Distributed System Security Symposium (NDSS)
[Artikel], (2014)

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan :
Automated API Property Inference Techniques.
[Online-Edition: http://www.bodden.de/pubs/rbk+12automated.pdf]
In: IEEE Transactions on Software Engineering (TSE)
[Artikel], (2012)

T

Thies, Andreas ; Bodden, Eric :
RefaFlex: Safer Refactorings for Reflective Java Programs [forthcoming].
[Online-Edition: http://www.bodden.de/pubs/tb12refaflex.pdf]
In: International Symposium on Software Testing and Analysis (ISSTA 2012).
[Konferenz- oder Workshop-Beitrag], (2012)

Diese Liste wurde am Sun Nov 19 06:35:41 2017 CET generiert.