Search for "BeF" returned 6606 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

Replica.one: A Software-defined Operating System
37 min

Replica.one: A Software-defined Operating System

Boiling Mind
40 min

Boiling Mind

Analysing the link between audience physiology and…

Leaving legacy behind
52 min

Leaving legacy behind

Reducing carbon footprint of network services with MirageOS…

OSGeo UN Committee Educational Challenges: A use case of sharing software and experience from all over the world
18 min

OSGeo UN Committee Educational Challenges: A use case of sharing software and experience…

Inter-comparison of the Global Land Cover Maps in Africa Suplemented by Spatial Association of Errors
21 min

Inter-comparison of the Global Land Cover Maps in Africa Suplemented by Spatial…

Ghidra - An Open Source Reverse Engineering Tool
60 min

Ghidra - An Open Source Reverse Engineering Tool

How the NSA open-sourced all software in 2019

SD-WAN a New Hop
49 min

SD-WAN a New Hop

How to hack software defined network and keep your sanity?

Inequalities in the completeness of OpenStreetMap buildings in urban centers
5 min

Inequalities in the completeness of OpenStreetMap buildings in urban centers

Breathing Life into Legacy: An Open-Source Emulator of Legacy Apple Devices
41 min

Breathing Life into Legacy: An Open-Source Emulator of Legacy Apple Devices

A Dive into Reverse Engineering and Understanding the iPod…

Bits and Bytes in Microgravity
39 min

Bits and Bytes in Microgravity

Insights into the hardware and software of sounding rockets

Floor plan extraction from digital building models
20 min

Floor plan extraction from digital building models

Neues Datenmodell oder mehr Schaltflächen auf osm.org?
26 min

Neues Datenmodell oder mehr Schaltflächen auf osm.org?

A new map renderer for OSM? Rasters, vectors, language and internationalization
26 min

A new map renderer for OSM? Rasters, vectors, language and internationalization

Hydrogen beyond the hype
42 min

Hydrogen beyond the hype

How Proprietary IP and Copyright Models Fail Society and What We Can Do About It
47 min

How Proprietary IP and Copyright Models Fail Society and What We Can Do About It

CIA vs. Wikileaks
58 min

CIA vs. Wikileaks

Intimiditation surveillance and other tactics observed and…

Remote Stellwerk Experience
95 min

Remote Stellwerk Experience

Don't Ruck Us Too Hard - Owning Ruckus AP Devices
48 min

Don't Ruck Us Too Hard - Owning Ruckus AP Devices

3 different RCE vulnerabilities on Ruckus Wireless access…

What I Learned from Loab: AI as a creative adversary
36 min

What I Learned from Loab: AI as a creative adversary

The artist behind the viral cryptid "Loab" reflects on her…

Let's not play dice - what scuba diving and IT security have in common
29 min

Let's not play dice - what scuba diving and IT security have in common

Open Source Practice and Passion at OSGeo
25 min

Open Source Practice and Passion at OSGeo

Extracting channel heads from digital elevation models (DEM) using machine learning techniques
17 min

Extracting channel heads from digital elevation models (DEM) using machine learning…

TAPS Transport Services API
44 min

TAPS Transport Services API

Retiring the BSD Socket API

Are machines feminine?
60 min

Are machines feminine?

exploring the relations between design and perception of…