Search for "Ana" returned 10090 results

Formal Verification of Verilog HDL with Yosys-SMTBMC
52 min

Formal Verification of Verilog HDL with Yosys-SMTBMC

Hackerspaces
56 min

Hackerspaces

How we built ours - How you can build yours

Introducing Osmo-GMR
55 min

Introducing Osmo-GMR

Building a sniffer for the GMR satphones

Neue Luftüberwachung: Wie Frontex Geflüchteten beim Ertrinken zuschaut
87 min

Neue Luftüberwachung: Wie Frontex Geflüchteten beim Ertrinken zuschaut

debate 21

Iridium Update
56 min

Iridium Update

more than just pagers

Be lazy, make automation
60 min

Be lazy, make automation

How can you trust formally verified software?
28 min

How can you trust formally verified software?

A Fork in the Road by openSUSE Board
23 min

A Fork in the Road by openSUSE Board

Hacking Sony PlayStation Blu-ray Drives
49 min

Hacking Sony PlayStation Blu-ray Drives

Git Fu Developing
50 min

Git Fu Developing

Sculpt OS: a novel operating system for truly trustworthy computing
45 min

Sculpt OS: a novel operating system for truly trustworthy computing

A story of a bootloader^W^Wthree bootloaders
17 min

A story of a bootloader^W^Wthree bootloaders

Von Multi-Cluster bis Hybrid-Cloud: Flexibles Kubernetes-Scheduling mit Karmada
53 min

Von Multi-Cluster bis Hybrid-Cloud: Flexibles Kubernetes-Scheduling mit Karmada

Admin Boundary Conflation Tool
20 min

Admin Boundary Conflation Tool

Surely FOSS has no technical debt, Right ? Right ?!
37 min

Surely FOSS has no technical debt, Right ? Right ?!

openSUSEway status, running other platforms
11 min

openSUSEway status, running other platforms

sway tilling window manager

Hostile Multi-Tenancy on a Single Commodity GPU: Can it be secure?
75 min

Hostile Multi-Tenancy on a Single Commodity GPU: Can it be secure?

Being compliant with Open Container Initiative Spec
24 min

Being compliant with Open Container Initiative Spec

Boot2root
62 min

Boot2root

Auditing Boot Loaders by Example

Lightning Talks: Day 1
4 min

Lightning Talks: Day 1

Lightning Talks: Subnetting in P2P systems
5 min

Lightning Talks: Subnetting in P2P systems

Lightning Talks: Day 2
6 min

Lightning Talks: Day 2

Lightning Talks: Day 2
5 min

Lightning Talks: Day 2

Automotive microcontrollers. Safety != Security
60 min

Automotive microcontrollers. Safety != Security

Open Source Your Career
50 min

Open Source Your Career

Fast-track your professional development with community…