An Exploratory Study on the Engineering of Security Features

Authors: Hermann, Kevin, Peldszus, Sven, Steghöfer, Jan-Philipp, Berger, Thorsten

Subject Terms: Computer Science - Software Engineering, Computer Science - Cryptography and Security

Access URL: http://arxiv.org/abs/2501.11546

A Taxonomy of Functional Security Features and How They Can Be Located

Authors: Hermann, Kevin, Schneider, Simon, Tony, Catherine, Yardim, Asli, Peldszus, Sven, Berger, Thorsten, Scandariato, Riccardo, Sasse, M. Angela, Naiakshina, Alena

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2501.04454

Fast, Favorable, and Fair Blockchain-based Exchange of Digital Goods using State Channels

Authors: Lohr, Matthias, Peldszus, Sven, Jurjens, Jan, Staab, Steffen

Source: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2024 IEEE International Conference on. :279-287 May, 2024

Relation: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)

A Large-Scale Study of Model Integration in ML-Enabled Software Systems

Authors: Sens, Yorick, Knopp, Henriette, Peldszus, Sven, Berger, Thorsten

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2408.06226

120 Domain-Specific Languages for Security

Authors: Krausz, Markus, Peldszus, Sven, Regazzoni, Francesco, Berger, Thorsten, Güneysu, Tim

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2408.06219

Software Reconfiguration in Robotics

Authors: Peldszus, Sven, Brugali, Davide, Strüber, Daniel, Pelliccione, Patrizio, Berger, Thorsten

Subject Terms: Computer Science - Robotics, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2310.01039

Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings

Authors: Peldszus, Sven, Tuma, Katja, Struber, Daniel, Jurjens, Jan, Scandariato, Riccardo

Source: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2019 ACM/IEEE 22nd International Conference on. :23-33 Sep, 2019

Relation: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)

Checking Security Compliance between Models and Code

Authors: Tuma, Katja, Peldszus, Sven, Strüber, Daniel, Scandariato, Riccardo, Jürjens, Jan

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2108.08579

Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching

Authors: Peldszus, Sven, Kulcsar, Geza, Lochau, Malte, Schulze, Sandro

Source: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2016 31st IEEE/ACM International Conference on. :578-589 Sep, 2016

Relation: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)

Ontology-driven evolution of software security

Authors: Peldszus, Sven, Bürger, Jens, Kehrer, Timo, Jürjens, Jan

Source: In Data & Knowledge Engineering July 2021 134

Controlling the Attack Surface of Object-Oriented Refactorings
Fundamental approaches to software engineering (International conference)

Authors: Ruland, Sebastian, Kulcsár, Géza, Leblebici, Erhan, Peldszus, Sven, Lochau, Malte

Source: Lecture notes in computer science. 10802:38-55

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN603477661&indx=1&recIds=ETOCCN603477661

Checking security compliance between models and code.

Authors: Tuma, Katja¹, k.tuma@vu.nl, Peldszus, Sven², Strüber, Daniel^3,4, Scandariato, Riccardo⁵, Jürjens, Jan^6,7

Source: Software & Systems Modeling; Feb2023, Vol. 22 Issue 1, p273-296, 24p

The Architecture of VisiOn Privacy Platform

Authors: Ahmadian, Amir Shayan, Peldszus, Sven, Jürjens, Jan, Salnitri, Mattia, Giorgini, Paolo, Mouratidis, Haralambos, Ruiz, Jose Fran.

Source: Lecture notes in computer science. 12030:54-76

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN625019022&indx=1&recIds=ETOCRN625019022

Visual Privacy Management

Authors: Peldszus, Sven, Ahmadian, Amir Shayan, Salnitri, Mattia, Jürjens, Jan, Pavlidis, Michalis, Mouratidis, Haralambos

Source: Lecture notes in computer science. 12030:77-108

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN625019033&indx=1&recIds=ETOCRN625019033

Model-Based Security Analysis of Feature-Oriented Software Product Lines

Authors: Peldszus, Sven, Strüber, Daniel, Jürjens, Jan

Source: ACM SIGPLAN notices. 53(9):93-106

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN619129889&indx=1&recIds=ETOCRN619129889

UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering

Authors: Peldszus, Sven, Burger, Jens, Jurjens, Jan

Source: IEEE Transactions on Software Engineering; January 2024, Vol. 50 Issue: 1 p16-47, 32p

Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.

Authors: Peldszus, Sven, Kulcsár, Géza, Lochau, Malte, Schulze, Sandro

Source: ACM International Conference Proceeding Series; 9/8/2015, p138-151, 14p

Model-Based Testing.

Authors: Lochau, Malte, Peldszus, Sven, Kowal, Matthias, Schaefer, Ina

Source: Formal Methods for Executable Software Models; 2014, p310-342, 33p