Secure Software Engineering

at Paderborn University and TU Darmstadt

Secure Software Engineering

Main menu

Skip to primary content
  • Home
  • Tools & Artifacts
    • Cheetah – Just-in-time analysis
    • VisuFlow – Debugging static analysis
    • FlowDroid – Taint Analysis
    • PointerBench – Benchmarks
    • CodeInspect – Binary Android Analysis
    • DroidBench – Benchmarks
    • Harvester – Combating current Android malware
    • SuSi – Sources and Sinks
    • Reviser – Incremental Analysis
    • StubDroid – Library Summaries for Android
  • Teaching @ TUD
    • Smartphone Security for Android Applications
    • Static Analysis Seminar (SAS)
    • Designing code analyses for large software systems (DECA)
    • Implementing code analyses for large software systems (ICA)
    • Secure Software Development (SecDev)
      • SecDev — Course summary
    • Tool-based approaches to Software Security (2015)
      • Tool-based approaches to Software Security (2014)
        • Tool-based approaches to Software Security – Topics (2014)
      • Tool-based approaches to Software Security (2015) – Topics
    • Past lecture: Automated Code Analysis for Large Software Systems (ACA)
      • Course Summary
      • Syllabus
    • Past–Secure Software Development (2014)
  • Tutorials
  • Publications
  • Groups

Publications

at TU Darmstadt:
http://www.ec-spride.tu-darmstadt.de/en/research-groups/secure-software-engineering-group/recent-publications/

at Paderborn University:
https://www.hni.uni-paderborn.de/en/software-engineering/publications/

Proudly powered by WordPress