tech:

taffy

Intel, UC San Diego join DARPA program to develop cryptographical solutions for security

Intel and the University of California, San Diego (UC San Diego) have been selected to join the Defense Advanced Research Projects Agency (DARPA)’s Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) program.

The four-year joint effort will focus on creating tools based on cryptography and formal security theories to prevent vulnerabilities in integrated computing systems, according to Intel. DARPA will utilize Intel’s Cryptographic Capability Computing (C3) system, which is the first stateless memory safety mechanism that replaces metadata with cryptography.

The HARDEN program will create tools to prevent the exploitation of integrated computing systems by disrupting the patterns of robust exploits used by attackers. The C3 system replaces metadata with cryptography by encrypting individual pointers and data objects.

The HARDEN program will run for 48 months and is organized into three phases.

[Image courtesy: Intel]

Just in

Tembo raises $14M

Cincinnati, Ohio-based Tembo, a Postgres managed service provider, has raised $14 million in a Series A funding round.

Raspberry Pi is now a public company — TC

Raspberry Pi priced its IPO on the London Stock Exchange on Tuesday morning at £2.80 per share, valuing it at £542 million, or $690 million at today’s exchange rate, writes Romain Dillet. 

AlphaSense raises $650M

AlphaSense, a market intelligence and search platform, has raised $650 million in funding, co-led by Viking Global Investors and BDT & MSD Partners.

Elon Musk’s xAI raises $6B to take on OpenAI — VentureBeat

Confirming reports from April, the series B investment comes from the participation of multiple known venture capital firms and investors, including Valor Equity Partners, Vy Capital, Andreessen Horowitz (A16z), Sequoia Capital, Fidelity Management & Research Company, Prince Alwaleed Bin Talal and Kingdom Holding, writes Shubham Sharma. 

Capgemini partners with DARPA to explore quantum computing for carbon capture

Capgemini Government Solutions has launched a new initiative with the Defense Advanced Research Projects Agency (DARPA) to investigate quantum computing's potential in carbon capture.