Projektgruppenarchiv

SS 2020 und WS 2020/2021

  • Projektgruppe PhASIO - Input/Output for PhASAR (nur auf den englischen Seiten verfügbar)

SS 2019 und WS 2019/2020

  • Projektgruppe CogniCrypt++ - Bringing Secure Cryptography to C/C++ Applications with PhASAR (nur auf den englischen Seiten verfügbar)
  • Projektgruppe Delphi - Mining Software Ecosystems using Static Program Analysis (nur auf den englischen Seiten verfügbar)
  • Projektgruppe Jimple Language Server (nur auf den englischen Seiten verfügbar)

SS 2018 und WS 2018/2019

  • Projektgruppe ABM - Automated Benchmark Management
    (nur auf den englischen Seiten verfügbar)

SS 2017 und WS 2017/2018

  • Projektgruppe SICS - Secure Integration of Cryptographic Software
    (nur auf den englischen Seiten verfügbar)

SS 2016 und WS 2016/2017

  • Projektgruppe VisuFlow - Visualising Data Flows in Static Code Analyses
    (nur auf den englischen Seiten verfügbar)