Sumários
Semantics and Properties
30 novembro 2018, 09:30 • Rodrigo Miguel Corredoura Janota Rato
Formal semantics and Semantic properties exercises.
Program Analysis for Security
29 novembro 2018, 17:30 • Pedro Adão
Property vs. Enforcement mechanism.
Power and limitations of programa analysis: Precision. Timing.
Static analysis mechanisms -- an overview.
Static analysis for Information Flow.
Language Based Security - Semantics and properties
29 novembro 2018, 15:30 • Pedro Adão
(this lab took place 06Dec2018, 14h00)
Dynamic analysis
27 novembro 2018, 11:00 • Pedro Adão
Accepting vs. Transforming - mechanisms. A monitor for Information flow analysis (WHILE): Small-step semantics for WHILE. Labelled transitions. Lock-step information flow monitor.
Semantics and Properties
27 novembro 2018, 09:30 • Rodrigo Miguel Corredoura Janota Rato
Formal semantics and Semantic properties exercises.