- Bachelorplus
- Bibliothek
- Bologna
- Career Service
- E-Learning
- Events
- Gebühren + Finanzierung
- Gesamtstundenplan
- Informatikdienste
- Internationaler Austausch
- Mensa
- Militärdienst, Zivildienst und Zivilschutz
- myBFH
- News
- Reglemente
- Sekretariate
- Sicherheit BFH-TI
- Standorte
- StudAdmin
- Studierenden-Organisationen
- Versicherungen
- Wohnen + Leben
CCS 2012
16.08.2012
Die einmal im Jahr stattfindende "ACM Conference on Computer and Communications Security" gilt als eine der wichtigsten Konferenzen im Bereich Sicherheit in der Informatik. Nur rund 20 % der für die Konferenz eingereichten Papers werden akzeptiert. Darunter befindet sich dieses Jahr das Paper einer Gruppe von internationalen Forschern unter ihnen Endre Bangerter vom Research Institute for Security in the Information Society der BFH-TI.
Beim Paper "Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols" geht es darum, wie man die Software-Sicherheit kryptographischer Systeme automatisch formell prüfen kann, indem man verifiziert, dass die Implementierung der Spezifikation entspricht.
Geschrieben wurde dieses Papier neben Endre Bangerter (BFH-TI) von José Bacelar Almeida (Universidade do Minho), Manuel Barbosa (Universidade do Minho), Gilles Barthe (IMDEA Software Institute), Stephan Krenn (IST Austria) und Santiago Zanella Béguelin (Microsoft Research).
