Search for "ari" returned 5271 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

K.I.
65 min

K.I.

EOxCloudless: Level-3 Analysis Ready Satellite Data
23 min

EOxCloudless: Level-3 Analysis Ready Satellite Data

G3W-SUITE: a new framework for the QGIS projects WEB publication.
28 min

G3W-SUITE: a new framework for the QGIS projects WEB publication.

After the Metaverse: An Introduction to Brain–machine interfaces
59 min

After the Metaverse: An Introduction to Brain–machine interfaces

Ransomware never really left
42 min

Ransomware never really left

Moonbounce Radio Communication
48 min

Moonbounce Radio Communication

To the Moon and back in two seconds. The joy of light speed…

UX for Hackers: Why It Matters and What Can You Do
62 min

UX for Hackers: Why It Matters and What Can You Do

Towards automated and proactive anomaly detection in fiber access networks
31 min

Towards automated and proactive anomaly detection in fiber access networks

Freedom and Privacy in the Datacenter
22 min

Freedom and Privacy in the Datacenter

Can We Find Beauty in Tax Fraud?
34 min

Can We Find Beauty in Tax Fraud?

SDN control of disaggregated optical transport networks
28 min

SDN control of disaggregated optical transport networks

Avoiding mistakes in Embedded Systems development
40 min

Avoiding mistakes in Embedded Systems development

Van Gogh TV - Piazza virtuale
43 min

Van Gogh TV - Piazza virtuale

Hallo hallo ist da jemand?

Shit for Future: turning human shit into a climate solution
40 min

Shit for Future: turning human shit into a climate solution

Waiter, There's An LLM In My Search!
39 min

Waiter, There's An LLM In My Search!

Unlimited Power: An Engineer's Low-Down on Nuclear Fusion Technology
30 min

Unlimited Power: An Engineer's Low-Down on Nuclear Fusion Technology

Advanced Hexagon Diag
66 min

Advanced Hexagon Diag

Harnessing diagnostics for baseband vulnerability research

Bird Clock Opera/ w text from Days Of The Week
96 min

Bird Clock Opera/ w text from Days Of The Week

Pre-recorded Lightning Talks
2 min

Pre-recorded Lightning Talks

Why Railway Is Safe But Not Secure
41 min

Why Railway Is Safe But Not Secure

Security Of Railway Communication Protocols

Sequoia: A New OpenPGP Implementation in Rust
31 min

Sequoia: A New OpenPGP Implementation in Rust

DG88: Progress in the Embedded GPU space
43 min

DG88: Progress in the Embedded GPU space

The Future of Unattended and Advanced Linux Deployments
40 min

The Future of Unattended and Advanced Linux Deployments

Agama: Redefining Automated Linux Installations

Reclaiming our faces
28 min

Reclaiming our faces