Alexander Pretschner

is this you? claim profile

0 followers
Technische Universität München

Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation

Software systems play an ever more important role in our lives and softw...
11/05/2020 ∙ by Jan Gogoll, et al. ∙ 0 ∙ share

read it
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection

The malware analysis and detection research community relies on the onli...
07/01/2020 ∙ by Aleieldin Salem, et al. ∙ 0 ∙ share

read it
From Checking to Inference: Actual Causality Computations as Optimization Problems

Actual causality is increasingly well understood. Recent formal approach...
06/05/2020 ∙ by Amjad Ibrahim, et al. ∙ 0 ∙ share

read it
Expressing Accountability Patterns using Structural Causal Models

While the exact definition and implementation of accountability depend o...
05/07/2020 ∙ by Severin Kacianka, et al. ∙ 0 ∙ share

read it
Extending Causal Models from Machines into Humans

Causal Models are increasingly suggested as a means to reason about the ...
10/31/2019 ∙ by Severin Kacianka, et al. ∙ 0 ∙ share

read it
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming

Self-checksumming (SC) is a tamper-proofing technique that ensures certa...
09/25/2019 ∙ by Mohsen Ahmadvand, et al. ∙ 0 ∙ share

read it
Efficiently Checking Actual Causality with SAT Solving

Recent formal approaches towards causality have made the concept ready f...
04/30/2019 ∙ by Amjad Ibrahim, et al. ∙ 0 ∙ share

read it
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods

In evaluating detection methods, the malware research community relies o...
03/25/2019 ∙ by Aleieldin Salem, et al. ∙ 0 ∙ share

read it
Compositional Fuzzing Aided by Targeted Symbolic Execution

Guided fuzzing has, in recent years, been able to uncover many new vulne...
03/07/2019 ∙ by Saahil Ognawala, et al. ∙ 0 ∙ share

read it
A Real-Time Remote IDS Testbed for Connected Vehicles

Connected vehicles are becoming commonplace. A constant connection betwe...
11/27/2018 ∙ by Valentin Zieglmeier, et al. ∙ 0 ∙ share

read it
Understanding and Formalizing Accountability for Cyber-Physical Systems

Accountability is the property of a system that enables the uncovering o...
10/23/2018 ∙ by Severin Kacianka, et al. ∙ 0 ∙ share

read it
Model-Based Safety and Security Engineering

By exploiting the increasing surface attack of systems, cyber-attacks ca...
10/11/2018 ∙ by Vivek Nigam, et al. ∙ 0 ∙ share

read it
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis

Testing is the most widely employed method to find vulnerabilities in re...
07/24/2018 ∙ by Saahil Ognawala, et al. ∙ 0 ∙ share

read it
Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing

Automatic test-case generation techniques of symbolic execution and fuzz...
03/13/2018 ∙ by Saahil Ognawala, et al. ∙ 0 ∙ share

read it
Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach

Fuzzing and symbolic execution are popular techniques for finding vulner...
11/26/2017 ∙ by Saahil Ognawala, et al. ∙ 0 ∙ share

read it
ACCBench: A Framework for Comparing Causality Algorithms

Modern socio-technical systems are increasingly complex. A fundamental p...
10/10/2017 ∙ by Simon Rehwald, et al. ∙ 0 ∙ share

read it

Alexander Pretschner

Featured Co-authors

Sebastian Banescu

Amjad Ibrahim

Vivek Nigam

Harald Ruess

Saahil Ognawala

Kristian Beckers

Severin Kacianka

Aleieldin Salem

Thomas Hutzelmann

Mohsen Ahmadvand

Pooja Kulkarni

Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation

Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection

From Checking to Inference: Actual Causality Computations as Optimization Problems

Expressing Accountability Patterns using Structural Causal Models

Extending Causal Models from Machines into Humans

VirtSC: Combining Virtualization Obfuscation with Self-Checksumming

Efficiently Checking Actual Causality with SAT Solving

Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods

Compositional Fuzzing Aided by Targeted Symbolic Execution

A Real-Time Remote IDS Testbed for Connected Vehicles

Understanding and Formalizing Accountability for Cyber-Physical Systems

Model-Based Safety and Security Engineering

Automatically Assessing Vulnerabilities Discovered by Compositional Analysis

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing

Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach

ACCBench: A Framework for Comparing Causality Algorithms