Search for "c-atre" returned 3699 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Corona-Warn-App
41 min

Corona-Warn-App

Behind the scenes: Invisible, yet important

A well-known advisory BGP community to denote prefixes used for Anycast
5 min

A well-known advisory BGP community to denote prefixes used for Anycast

Source Code and Cross-Domain Authorship Attribution
64 min

Source Code and Cross-Domain Authorship Attribution

The Role of Stylometry in Privacy

ISMS-oxide and you (Information-Security-Management-System for hackers)
42 min

ISMS-oxide and you (Information-Security-Management-System for hackers)

What's up with all this 3d printing?
14 min

What's up with all this 3d printing?

GDPRhub - the European wiki for data protection decisions
17 min

GDPRhub - the European wiki for data protection decisions

Are machines feminine?
60 min

Are machines feminine?

exploring the relations between design and perception of…

Saving milliseconds and wasting hours: a survey of tool-assisted speedrunning
41 min

Saving milliseconds and wasting hours: a survey of tool-assisted speedrunning

Introduction to SecureShare
20 min

Introduction to SecureShare

A peer-to-peer, end-to-end encrypted social networking…

Efficient RAUC Updates using composefs
5 min

Efficient RAUC Updates using composefs

All wireless communication stacks are equally broken
38 min

All wireless communication stacks are equally broken

Involvement of OpenStreetMap in European H2020 Projects
38 min

Involvement of OpenStreetMap in European H2020 Projects

LatticeHacks
65 min

LatticeHacks

Fun with lattices in cryptography and cryptanalysis

Uncovering discrimination in public fraud detection systems
29 min

Uncovering discrimination in public fraud detection systems

Sustainable Transport on the Map
60 min

Sustainable Transport on the Map

All Creatures Welcome
86 min

All Creatures Welcome

Sex Robots! The Truth Behind the Headlines
36 min

Sex Robots! The Truth Behind the Headlines

Fail Map, visualizing security fail at trusted parties for your protection
13 min

Fail Map, visualizing security fail at trusted parties for your protection

Block grid system usage at the example of Estonian Postal Services
20 min

Block grid system usage at the example of Estonian Postal Services

New Ways I'm Going to Hack Your Web App
59 min

New Ways I'm Going to Hack Your Web App

The quest for artificial general intelligence
30 min

The quest for artificial general intelligence

beyond the Turing test

LoRaWAN introduction
8 min

LoRaWAN introduction

Self-documenting computation
37 min

Self-documenting computation

What is the best way to present programs to non-programmers?

Let’s create a Python Debugger together
46 min

Let’s create a Python Debugger together