Project Areas

E – Engineering

E5 – Privacy-Aware Distributed Computation

The project addresses the challenge of automated generation of scalable privacy-preserving mechanisms in IoT, cloud, and edge computing systems. The project designs SecQL, a query language for data-intensive applications, whose runtime environment automatically generates and deploys sub-computations over nodes of the above systems to optimize performance while protecting the processed data from unauthorized access. The formally defined SecQL makes privacy-preserving mechanisms accessible also for non-security experts.

Plugin required: in order to see this object, your browser has to support files of type text/html. Download

Principal Investigators

  Name Working area(s) Contact
Prof. Mira Mezini
Software Technology Group
E1, E5
+49 6151 16-21360
S2|02 A212
Prof. Guido Salvaneschi
Reactive Software Systems
+49 6151 16-22360


  Name Contact
Mirko Köhler
Reactive Software Systems
+49 6151 16-21367
S2|02 B220
Aditya Oak
Software Technology Group
+49 6151 16-21363
S2|02 A222


Salvaneschi, Guido and Wirth, Johannes and Weisenburger, Pascal (2020):
A survey of multitier programming.
In: ACM Computing Surveys, 53 (4), ACM, ISSN 03600300,
DOI: 10.1145/3397495,

Weisenburger, Pascal and Salvaneschi, Guido (2020):
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
In: The Art, Science, and Engineering of Programming, 4 (3), pp. 17:1-17:29. AOSA, Inc, ISSN 2473-7321,
DOI: 10.22152/,

Köhler, Mirco and Salvaneschi, Guido (2019):
Automated Refactoring to Reactive Programming.
ASE'19 - The 34th International Conference on Automated Software Engineering, San Diego, Ca, USA, November 10.-15.,2019, DOI: 10.1109/ASE.2019.00082,
[Conference or Workshop Item]

Schulz, Philipp (2019):
Developing Secure Distributed Systems with Modular Tierless Programming.
TU Darmstadt, [Master Thesis]

Srivatsa, Jeevan Karanam (2019):
Benchmarking of Data Provenance Computation Methods to Support Debugging in Apache Spark.
TU Darmstadt, [Master Thesis]

Oak, Aditya and Mezini, Mira and Salvaneschi, Guido (2019):
Language Support for Multiple Privacy Enhancing Technologies.
ACM, Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, [Conference or Workshop Item]

Salvaneschi, Guido and Köhler, Mirko and Sokolowski, Daniel and Haller, Philipp and Erdweg, Sebastian and Mezini, Mira (2019):
Language-Integrated Privacy-Aware Distributed Queries. (Publisher's Version)
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), pp. 1-30. Association for Computing Machinery, ISSN 2475-1421,
DOI: 10.25534/tuprints-00014553,