Explore projects
-
Updated
-
A learning environment to support teachers and students in their studies of topics such as cyphers and data security.
Updated -
Implementation of the analytical dynamical model of a soft continuum robot arm introduced in "SoPrA: Fabrication & Dynamical Modeling of a Scalable Soft Continuum Robotic Arm with Integrated Proprioceptive Sensing" https://arxiv.org/abs/2103.10726
Updated -
Updated
-
Archived 0Updated
-
-
Updated
-
Archived 0Updated
-
hfurmans / dione
GNU Affero General Public License v3.0Dione is an anonymize and encrypted messaging system build on top on a peer to peer layer.
Updated -
Updated
-
Updated
-
Updated
-
fhublet / MFOTL enforcement
GNU Lesser General Public License v2.1 onlyArtefacts and extended paper for "Real-time Policy Enforcement with Metric First-Order Temporal Logic" (ESORICS'22)
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-