The ARCH 2021 Best Result Award goes to Katherine Cordwell, Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andre Platzer, William Simmons, Yong Kiam Tan, and Noah Abou El Wafa (in alphabetical order) for their verification tool KeYmaera X. The award comes…

President Biden signed the K12 Cybersecurity Act which should strengthen the cybersecurity of US K-12 schools. This includes assessing the cybersecurity risks effecting K-12 schools such as securing information systems and protecting student and…

Beware of Joker malware found in the Color Message app. The malware is part of a an app that promises better colors, emojis and screen overlays. What it really does is subscribe users to unwanted paid premium services controlled by the attackers in a…

Meta, the new name for Facebook, has expanded it’s Facebook Protect security program to journalists, government officials, human rights defenders, and activist who are often targets online. The program offers enhances security like two factor…

<p><strong>NSF 21-028</strong></p> <h2>Dear Colleague Letter: Research Experiences for Undergraduates (REU) and Research Experiences for Teachers (RET) Supplemental Funding in Computer and Information Science and…

<h2>Designing Accountable Software Systems (DASS)</h2> <p><strong>PROGRAM SOLICITATION<br> NSF 22-512</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 21-554</strong></p…

<h2>National Artificial Intelligence Research Institutes</h2> <p>https://beta.nsf.gov/funding/opportunities/national-artificial-intelligence-research-institutes</p> <p><strong>Important Information for Proposers…

<p>The NeTS program in CISE/CNS is seeking Federal employee program officers for networking topics. &nbsp;See https://www.usajobs.gov/GetJob/ViewDetails/615205300.</p> <p><u><strong>Summary</strong></u>…

<h2>Interdisciplinary (Program Director)</h2> <p><strong>Division: </strong>Computer and Network Systems (CISE/CNS)</p> <p><strong>Directorate:</strong> Computer and Information Science and…

<p><strong>NSF 21-122</strong></p> <h2>Dear Colleague Letter: Enabling Secure and Trustworthy Cyberspace (SaTC) CISE-SBE Interdisciplinary Collaborations</h2> <p><em>Proposals are due Dec 10, 2021,…

<h2><strong>Secure and Trustworthy Cyberspace (SaTC)</strong></h2> <p><strong>PROGRAM SOLICITATION<br> NSF 22-517</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 21-…

Over 1.2 million GoDaddy customers were impacted by a recent hack. GoDaddy is the world’s largest domain registrar and it’s managed WordPress hosting include a number of associated companies like 123Reg, Domain Factory, Host Europe, and others. An…

The project called LotL, (Living off the Land), extracts features of specific commands and then classifies them as either good or bad commands and sets up a set of tags for follow-on detection by a decision tree. Lotl uses supervised learning and an…

In an effort to put pressure on the DarkSide Ransomeware Group, the government announced on Thursday a $10 million reward for information about the key leadership individuals in the DarkSide ransomware group—or any of it’s rebranded groups. The State…

Microsoft is working with community colleges to provide free training and resources to help ease the cybersecurity professional shortage. This includes training for faculty at 150 community colleges and scholarships to 25,000 students. By targeting…

CISA, the US Cybersecurity and Infrastructure Security Agency has awarded NPower and CyberWarrior contracts worth $2m to bring cybersecurity training to underserved communities such as the unemployed and underemployed. One of the goals of these programs…