Popular Events

All - 2026 - 2025 - 2024 - 2023 - 2022 - 2021 - 2020 - 2019 - 2018 - 2017 - 2016 - 2015 - 2014 - 2013 - 2012 - 2011 - 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000
Digitale Rohstoffe erhalten sich anders
37 min

Digitale Rohstoffe erhalten sich anders

Über Ampeln und den Erhalt eines Rohstoffes namens Software

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

next