Tootfinder

Cybersecurity startup Zafran, which develops risk mitigation services, emerges from stealth with a $25M Series A co-led by Sequoia Capital and Cyberstarts (Meir Orbach/CTech)
https://www.calcalistech.com/ctechnews/article/hjhhpaz10

After fleeing Iran and an illustrious career in Israeli intelligence, Sanaz Yashar raises $30M for cyber start
Zafran, founded in 2022 by Yashar (CEO), Ben Seri (CTO) and Snir Havdala (CPO), develops a risk and mitigation platform to pinpoint the ‘exploitable’ threats in the organization and to mitigate their risk by mobilizing existing security controls

Back on the CO2 travel kick... equivalent of the day:
A 40km crossing on a BC Ferry from Nanaimo to Vancouver produces the same CO2 per passenger (5kg) as an 1800km high speed train journey from London, UK to Valencia, Spain.
We need to completely rethink travel in Canada but our political leaders are transportation cowards.
Source:
Train:

Weekly Initial Unemployment Claims Decrease to 210,000
http://www.calculatedriskblog.com/2024/03/weekly-initial-unemployment-claims_28.html

Weekly Initial Unemployment Claims Decrease to 210,000
The DOL reported : In the week ending March 23, the advance figure for seasonally adjusted initial claims was 210,000 , a decrease of 2,00...

Working closely with a wide range of companies, I have developed logos, logotypes, and symbols that are true representations of each brand, complement their particular fields, and resonate with the audience they hope to reach.
https://www.andycarolan.com/work/logofolio

Logo Folio - Andy Carolan Illustration and Design
Working closely with a wide range of companies, I have developed logos, logotypes, and symbols that are true representations of each brand, complement their particular fields, and resonate with the audiences they hope to reach.

This https://arxiv.org/abs/2210.07085 has been replaced.
link: https://scholar.google.com/scholar?q=a

Towards Uniform Certification in QBF
We pioneer a new technique that allows us to prove a multitude of previously open simulations in QBF proof complexity. In particular, we show that extended QBF Frege p-simulates clausal proof systems such as IR-Calculus, IRM-Calculus, Long-Distance Q-Resolution, and Merge Resolution. These results are obtained by taking a technique of Beyersdorff et al. (JACM 2020) that turns strategy extraction into simulation and combining it with new local strategy extraction arguments. This approach leads…

Dynamic Vulnerability Criticality Calculator for Industrial Control Systems
Pavlos Cheimonidis, Kontantinos Rantos
https://arxiv.org/abs/2404.16854 https:/…

Dynamic Vulnerability Criticality Calculator for Industrial Control Systems
The convergence of information and communication technologies has introduced new and advanced capabilities to Industrial Control Systems. However, concurrently, it has heightened their vulnerability to cyber attacks. Consequently, the imperative for new security methods has emerged as a critical need for these organizations to effectively identify and mitigate potential threats. This paper introduces an innovative approach by proposing a dynamic vulnerability criticality calculator. Our methodo…

From Differential Linear Logic to Coherent Differentiation
Thomas Ehrhard (IRIF, Inria)
https://arXiv.org/abs/2401.14834 https://arXi…

From Differential Linear Logic to Coherent Differentiation
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are compatible with determinism. Indeed, due to the Leibniz rule of the differential calculus, differential linear logic and the differential lambda-calculus feature an operation of addition of proofs or terms operationally interpreted as a strong form of nondete…

Nagomi Security, which has developed a proactive security and threat exposure management platform, emerges from stealth with a $23M Series A and a $7M seed (Meir Orbach/CTech)
https://www.calcalistech.com/ctechnews/article/rj2nf00uza

Nagomi Security raises $23 million Series A for proactive defense platform
The Israeli startup’s platform helps security teams prioritize the most urgent risks based on an organization's unique threat profile and provides prescriptive and actionable remediation plans to reduce threat exposure using existing tools

Nagomi Security, which has developed a proactive security and threat exposure management platform, emerges from stealth with a $23M Series A and a $7M seed (Meir Orbach/CTech)
https://www.calcalistech.com/ctechnews/article/rj2nf00uza

Nagomi Security raises $23 million Series A for proactive defense platform
The Israeli startup’s platform helps security teams prioritize the most urgent risks based on an organization's unique threat profile and provides prescriptive and actionable remediation plans to reduce threat exposure using existing tools