News
-
FORCES Research Showcased at the Smart America Challenge<p><em>June 11, 2014</em> - Today a team of FORCES researchers from UC Berkeley and Vanderbilt University showcased a testbed designed to demonstrate the potential impacts of cyber attacks against ground transportation networks as part…
-
NSF announces 14 new PIRE awards to support scientific collaboration in 24 countries<p><strong>News Release 17-085 </strong></p> <p>September 12, 2017</p> <p>The National Science Foundation (NSF) is pleased to announce 14 new Partnerships for International Research and Education (…
-
Education in Secure and Trustworthy Cyberspace<p>SaTC supports a variety of educational, workforce training, and development projects through their Education (EDU) funding, which focuses specifically on cybersecurity education. In particular, workforce development is one of the six critical…
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 13-578]<h1>Secure and Trustworthy Cyberspace (SaTC)</h1> <h2><a href="https://www.nsf.gov/pubs/2013/nsf13578/nsf13578.htm#toc">PROGRAM SOLICITATION</a> <br> NSF 13-578</h2> <h2>REPLACES…
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 14-599]<h1>Secure and Trustworthy Cyberspace (SaTC)</h1> <h2><a href="https://www.nsf.gov/pubs/2014/nsf14599/nsf14599.htm#toc">PROGRAM SOLICITATION</a> <br> NSF 14-599</h2> <h2>REPLACES…
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 15-575]<h1>Secure and Trustworthy Cyberspace (SaTC)</h1> <h2><a href="https://www.nsf.gov/pubs/2015/nsf15575/nsf15575.htm#toc">PROGRAM SOLICITATION</a> <br> NSF 15-575</h2> <h2>REPLACES…
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 17-576]<h1>Secure and Trustworthy Cyberspace (SaTC)</h1> <h2><a href="https://www.nsf.gov/pubs/2017/nsf17576/nsf17576.htm#toc">PROGRAM SOLICITATION</a> <br> NSF 17-576</h2> <h2>REPLACES…
-
Industrial SaTC<p>The SaTC program brings together researchers and industry stakeholders to ensure that technologies can be transitioned into large-scale deployment and direct transfers to industry through Industry/University Cooperative Centers (IUCRC) proposals…
-
Secure and Trustworthy Cyberspace Around the Globe<p>SaTC and, more broadly, the National Science Foundation support international cooperation, such as the <a href="https://www.nsf.gov/pubs/2016/nsf16019/nsf16019.jsp"><strong>US-Israel BSF International Opportunity</strong…
-
The Best ARCH 2017 Paper Award Tool Award goes to Stanley Bak and Parasara Sridhar Duggirala<p>The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.…
-
New Intelligent Transportation System (ITS) Data Webinar Recordings Available Online<p><br> Recordings from the <a href="https://itsa.adobeconnect.com/_a932559885/p7j8e173vo2/">Regional Intelligent Transportation System (ITS) Data Sharing</a> and <a href="https://…
-
Join the 2017 CAT Vehicle CPS Challenge!<p><a href="http://cps-vo.org/og/subscribe/29231"><img alt="Join the CAT Vehicle Challenge!" src="/sites/default/files/u1301/joinbutton_orange_0.png" style="width: 98px; height: 98px; float: right;"…
-
Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research<p style="text-align: center;"><strong>Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research</strong></p> <p> </p>
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 16-580]<p><strong>Important Information for Proposers</strong></p> <p>A revised version of the NSF Proposal & Award Policies & Procedures Guide (PAPPG) (NSF 16-1), is effective for proposals submitted, or due, on…
-
US-German Workshop on IoT/CPS: Final Report<p style="text-align: justify;">
-
FM 2016 Tutorial on new KeYmaera X Prover for Hybrid Systems<p>Dear colleagues,<br> <br> First of all, it is a distinct pleasure to introduce a stable version of the shiny new KeYmaera X theorem prover for hybrid systems.<br> <br> http://keymaeraX.org/<br> <br…