Skip to content
ZISC
  • About ZISC
    • Partners
    • How to Find Us
    • Annual Reports
    • Intranet
  • People
  • Research
    • Research Areas
    • Current Projects
    • Past Projects
    • Selected Publications
  • Education
    • Information Security Master Track
    • Continuing Education on Cyber Security
    • Security in School Education
  • Tech Transfer
    • ETH Studio NYC
    • Spin-off companies
  • OpenLab
  • Events & News
    • News
    • Economics of Security Workshop 2024
    • ZISC: Celebrating 20 years of ZISC!
    • ZISC Seminars
    • OAuth Security Workshop 2017
    • ZISC Summit on Cyber Risks 2017 (EN)
    • ZISC Summit on Cyber Risks 2017 (DE)
    • ZISC Workshop 2016
    • ZISC Workshop 2015
    • ZISC Workshop 2014
  • Media
  • Open Positions
  • About ZISC
    • - Partners
    • - How to Find Us
    • - Annual Reports
    • - Intranet
  • People
  • Research
    • - Research Areas
    • - Current Projects
    • - Past Projects
    • - Selected Publications
  • Education
    • - Information Security Master Track
    • - Continuing Education on Cyber Security
    • - Security in School Education
  • Tech Transfer
    • - ETH Studio NYC
    • - Spin-off companies
  • OpenLab
  • Events & News
    • - News
    • - Economics of Security Workshop 2024
    • - ZISC: Celebrating 20 years of ZISC!
    • - ZISC Seminars
    • - OAuth Security Workshop 2017
    • - ZISC Summit on Cyber Risks 2017 (EN)
    • - ZISC Summit on Cyber Risks 2017 (DE)
    • - ZISC Workshop 2016
    • - ZISC Workshop 2015
    • - ZISC Workshop 2014
  • Media
  • Open Positions

Probabilistic functions and cryptographic oracles in higher-order logic

Probabilistic functions and cryptographic oracles in higher-order logic

December 10, 2015Kari KostiainenZISC Seminars
Thu 10Dec2015
Thu 10Dec2015

Andreas Lochbihler, ETH Zurich

From 12.00 until 13.30

At ETH Zurich, CNB/F/110

Universitätstrasse 6, 8092 Zurich

Download Event to Calendar

Next
Theme by Think Up Themes Ltd. Powered by WordPress.