Scribd Logo
Upload

Welcome to Scribd!

  • Organ Iz Are

    Uploaded by

    Larisa Dumitrache
    17 views2 pages
    This document outlines the organization of a course on special topics in logic and security. The course has two parts, the first focusing on specification and verification of security protocols for the first 7 weeks, and the second focusing on static analysis for weeks 8 through 14. Both parts include lectures and laboratories. An exam covering both parts will be given at the end.

    Original Description:

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document outlines the organization of a course on special topics in logic and security. The course has two parts, the first focusing on specification and verification of security protocols for the first 7 weeks, and the second focusing on static analysis for weeks 8 through 14. Both parts include lectures and laboratories. An exam covering both parts will be given at the end.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    17 views2 pages

    Organ Iz Are

    Uploaded by

    Larisa Dumitrache
    This document outlines the organization of a course on special topics in logic and security. The course has two parts, the first focusing on specification and verification of security protocols for the first 7 weeks, and the second focusing on static analysis for weeks 8 through 14. Both parts include lectures and laboratories. An exam covering both parts will be given at the end.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    Special topics in Logic and Security

    Master Year II, Sem. I, 2022-2023

    Paul Irofti, Ioana Leuştean


    FMI, UB

    1/2
    Organization

    • The course has two parts:


    1 Specification and verification of security protocols
    • Course: Ioana Leuştean
    • Laboratory/Seminar: Bogdan Macovei
    • Weeks 1-7

    2 Static analysis
    • Course: Paul Irofti
    • Laboratory/Seminar: Alexandru Mocanu
    • Weeks 8-14

    • Exam
    • Written (physical) exam from both parts.

    2/2

    You might also like