Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Seminar series of the Mathematical Foundations group
Tuesdays 13.15 - 15.15 in CB3.11 11

Seminars are open to all 

Organisers: Willem Heijltjes and Ben Ralph
Email us to suggest speakersSeminars are open to all


 

8 December 2015

Giuseppe Primiero
SecureND: Natural Deduction for Secure Trust

Applications in computational domains complement verified knowledge with information sharing processes. From a logical viewpoint, formulating assertion operations in terms of a trust function is challenging, both conceptually and technically. In this talk we overview SecureND, a natural deduction calculus for knowledge derivation under trust. Its design is motivated by the problem of trust transitivity. We present also its implementation as the Coq protocol SecureNDC, to deal with trusted sources in software management systems. We conclude with an overview of current and future extensions of our language.