Trace Properties, Self-Composition and Symbolic Execution

5 dezembro 2019, 15:30 • Ana Almeida Matos

Exercises on Trace Properties, Self-Composition and Symbolic Execution.

Security in 
Software Development

5 dezembro 2019, 11:00 • Miguel Nuno Dias Alves Pupo Correia

• Software development
• Processes, factors that impact
• Design principles

Auditing software

3 dezembro 2019, 11:00 • Miguel Nuno Dias Alves Pupo Correia

• Auditing software - goal: risk management
• Attack/threat modeling – mostly for design vulnerabilities
• Code review – coding and design vulnerabilities

Trace Properties, Self-Composition and Symbolic Execution

3 dezembro 2019, 09:30 • Ana Almeida Matos

Exercises on Trace Properties, Self-Composition and Symbolic Execution.

Trace Properties, Self-Composition and Symbolic Execution

3 dezembro 2019, 08:00 • Ana Almeida Matos

Exercises on Trace Properties, Self-Composition and Symbolic Execution.