Search

This analysis is superseded by the more detailed analysis available in “Analysing the HPKE Standard” by J. Alwen, B. Blanchet, E. Hauck, E. Kiltz, B. Lipp, D. Riepel available at https://eprint.iacr.org/2020/1499. This document stays available because 2020/1499 only treats HPKE's Auth mode.; Hybrid Public Key Encryption (HPKE) is a cryptographicprimitive being standardized by the Crypto Forum Research Group (CFRG)within the Internet Research Task Force (IRTF). HPKE schemes combineasymmetric and symmetric cryptographic primitives for efficient authenti-cated encryption of arbitrary-sized plaintexts under a given recipient publickey. This document presents a mechanized cryptographic analysis done withCryptoVerif, of all four HPKE modes, instantiated with a prime-order-groupDiffie-Hellman Key Encapsulation Mechanism (KEM).

This book investigates the emergence of RobotCare within the context of European innovation politics. Here, it takes the interconnection of robotics and care as the product of a wide range of political, technological, and social processes, which have made RobotCare possible as a project. For this, the study proposes an analytics of interfacing, which focuses on the milieus and practices of a techno-politics of innovation, where robotics and care could become available for one another. Dieses Buch erforscht die Entstehung von RoboterPflege im Kontext europäischer Innovationspolitik. Hierzu versteht es die Verschaltung von Robotik und Pflege als das Produkt einer Reihe von politischen, technologischen und sozialen Prozessen, die RoboterPflege als Projekt möglich gemacht haben. Dazu schlägt die Studie eine Analytik des Interfacing vor, die Milieus und Praktiken einer Techno-Politik der Innovation in den Fokus nimmt, in der Robotik und Pflege füreinander verfügbar werden konnten.

WireGuard is a free and open source Virtual Private Network (VPN) that aims to replace IPsec and OpenVPN. It is based on a new cryptographic protocol derived from the Noise Protocol Framework. This paper presents the first mechanised cryptographic proof of the protocolunderlying WireGuard, using the CryptoVerif proof assistant. We analyse the entire WireGuard protocol as it is, including transport data messages, in an ACCE-style model. We contribute proofs for correctness, message secrecy, forward secrecy, mutual authentication, session uniqueness, and resistance against key compromise impersonation, identity mis-binding, and replay attacks. We also discuss the strength of the identity hiding provided by WireGuard. Our work also provides novel theoretical contributions that are reusable beyond WireGuard. First, we extend CryptoVerif to account for the absence of public key validation in popular Diffie-Hellman groups like Curve25519, which is used in many modern protocols including WireGuard. To our knowledge, this is the first mechanised cryptographic proof for any protocol employing such a precise model. Second, we prove several indifferentiability lemmas that are useful to simplify the proofs for sequences of key derivations.; WireGuard est un logiciel de réseau privé virtuel (VPN) gratuit et open source qui cherche à remplacer IPsec et OpenVPN. Il est fondé sur un nouveau protocole cryptographique dérivé de la famille de protocoles Noise. Ce document présente la première preuve cryptographique mécanisée du protocole de WireGuard, obtenue avec l’assistant de preuve CryptoVerif. Nous analysons le protocole WireGuard en entier, tel qu’il est, y compris les messages de transport de données, dans un modèle du style ACCE. Nous obtenons des preuves de correction, secret des messages, forward secrecy, authentification mutuelle, unicité des sessions, et résistance contre des attaques d’imposture par compromis de clés, de mauvaise liaison d’identités, et de rejeu. Nous discutons également la robustesse de la protection des identités fournie par WireGuard. Notre travail fournit aussi de nouvelles contributions théoriques, réutilisables au-delà de WireGuard. Premièrement, nous étendons CryptoVerif pour tenir compte de l’absence devalidation des clés publiques dans des groupes Diffie-Hellman populaires comme Curve25519, qui est utilisé dans beaucoup de protocoles modernes dont WireGuard. À notre connaissance, c’est la première preuve cryptographique mécanisée qui utilise un modèle aussi précis. Deuxièmement, nous prouvons plusieurs lemmes d’indifférentiabilité qui sont utiles pour simplifier les preuves de suites de dérivations de clés.

Project Specification As part of the ongoing migration of CERN’s virtual infrastructure to an OpenStackbased solution theCERN IT-DB group, responsible of the Databaseon Demand service, is migrating towards OpenStackfrom an OracleVM platform, on an effort to converge with the global CERNITinfrastructureplatforms.The Database on Demand Service is a Database as aservice developed in-house within theCERNITDBgroup.Theservicemanages the underlying infrastructure while providing the end user with an easy to use interface to perform database backups, recoveries, database configuration, and monitoring. Since its most recent release Icehouse, the OpenStack platform includes a new component, named Trove, which provides Database as a Service functionalities. Thus, the main goal of the project is to evaluate this component, OpenStack Trove, from the point of view of the feasibility of using it as a resource provider for the Database on Demand service. With this objective, some major points of interest are: the current status and maturity of the Trove project, ability to support additional database types, and compatibility with Scientific Linux as the computing platform running most CERN services. A secondary goal of the project is to evaluate different Java interfaces to OpenStack which would enable the service’s software to interact with the OpenStack service to create and manage instances for the database servers.

"Ein Amoklauf wie der am 11.03.2009 in Winnenden überrascht die Gesellschaft, in der er stattfindet. Er fungiert gewissermaßen als Bezugspunkt für die mediale Ausleuchtung beteiligter Organisationen, Milieus, Personen und schließlich des Täters selbst. Fragen werden gestellt, Erklärungen gesucht und Prognosen abgegeben, wie in Zukunft ein solches Ereignis verhindert werden kann. Diese Dynamik ist jedoch nicht nur auf der Ebene des medialen Diskurses, sondern auch in der Organisation Schule beobachtbar, namentlich in einem vorn Amoklauf nicht (direkt) betroffenen oberbayerischen Gymnasium. Der Diskurs - so lässt sich empirisch sehen - setzt sich auf mehr als einer Ebene fort. Um dies diskursanalytisch beobachten zu können, bedarf es einer organisationssoziologisch fundierten Erweiterung diskursanalytischer Werkzeuge. Im Rahmen dieses Beitrages soll dies anhand einer Synthese von Niklas Luhmanns Systemtheorie und Michel Foucaults Diskurstheorie geleistet werden. Zentraler Anknüpfungspunkt ist die operative Ausrichtung beider Theorien. Ziel ist es, erste Überlegungen zu einer operativ erweiterten Diskursanalyse anzustellen, um damit den Amoklauf-Diskurs nach Winnenden als Beispiel einer komplexen neuen Welt beschreiben zu können." (Autorenreferat)