seL4 – Open source formally verified bug free microkernel OS released

General Dynamics C4 Systems and NICTA are pleased to announce the open sourcing of seL4, the world’s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. It is still the world’s most highly-assured OS. What’s being released? It includes all of the kernel’s source code, all the proofs, plus other code Read more about seL4 – Open source formally verified bug free microkernel OS released[…]

Aero Glass – AR for pilots using Epson Moverio glasses

Using the Epson Moverio glasses, Augmented reality projects the following features onto the lenses in 3D. Airports Navigation Aids ADS-B traffic Flight Plan route & waypoints Airways Geographic points of interest (cities, villages, visual navigation points) Soon followed by: Airspaces Terrain elevation Procedures ILS approach cones FLARM traffic (for glider) Weather Dynamic Data (NOTAM, TFRs) Read more about Aero Glass – AR for pilots using Epson Moverio glasses[…]

Malware without files on the PC, encoded in the registry

As the entry point, they exploit a vulnerability in Microsoft Word with the help of a crafted Word document they spread via email. The same approach would work with any other exploit. After that, they make sure that the malicious activities survive system re-boot by creating an encoded autostart registry key. To remain undetected, this Read more about Malware without files on the PC, encoded in the registry[…]

BadUSB – Turning USB peripherals into hacking vectors

Once reprogrammed, benign devices can turn malicious in many ways, including: A device can emulate a keyboard and issue commands on behalf of the logged-in user, for example to exfiltrate files or install malware. Such malware, in turn, can infect the controller chips of other USB devices connected to the computer. The device can also Read more about BadUSB – Turning USB peripherals into hacking vectors[…]