Tag Archive for: award

USD Math Department Receives $4.5 Million Award from the U.S. Department of Defense, Could Be Largest Award to USD with Grant Extension

/in


By: Nicholas Stineman

Dr. Michael Shulman, associate professor of mathematics at the University of San Diego College of Arts and Sciences, has received a $4.5 million award from the U.S. Department of Defense (DOD)’s Air Force Office of Scientific Research.

The grant, which supports the work of Dr. Shulman and his research collaborators across the country, will extend over three years, with a $1.5 million allotment in the first year.  The DOD can fund the entire program by extending the research for another two years, which would result in a total of $7.5 million in grant funding; this would be the largest grant award in the history of the University of San Diego.

As a part of the grant, Dr. Shulman and his collaborators will be researching the theoretical foundations of computer programming that help mathematicians verify their work by checking mathematical proofs, and therefore, providing confidence in the correctness of a theory.  Not a math or computer person? In simpler terms, the team will be developing formal mathematical systems (“homotopy type theories”) that will assist computers in verifying the correctness of a mathematical proof or a computer program.

According to Dr. Shulman, this sort of formal system is “being used more and more”, including in “real production code”.  Shulman said that this is especially important “in really critical code such as aircraft autopilots”, or “cryptographic software, where you really don’t want there to be a hole for a hacker to get in.”  Given the increasing importance of cyber warfare and cyber defense, research such as this is crucial.

Dr. Shulman’s research team extends across the country, including Professors Steven Awodey and Robert Harper at Carnegie Mellon University, Daniel R. Licata at Wesleyan University, Emily Riehl at Johns Hopkins University, and Kuen-Bang Hou (Favonia) at the University of Minnesota, and their students and postdocs. At USD, the funding will support 13 student fellowships through the life of the project, who will get hands-on experience and the mentorship of Dr. Shulman.

Needless to say, Dr. Shulman’s hard work and dedication has resulted in…

Source…

Pinnacle Award Finalist John DeSimone: ‘Leading And Managing People Is A Privilege That Is Not To Be Taken Lightly’

/in


John DeSimone, VP, Cybersecurity, Training and Services, Raytheon Intelligence & Space

John DeSimone, Raytheon Intelligence & Space

The finalists for WashingtonExec’s Pinnacle Awards were announced Oct. 8, and we’ll be highlighting some of them until the event takes place virtually Nov. 12.

Next is Cybersecurity Industry Executive of the Year (Public Company) finalist John DeSimone, vice president of Cybersecurity, Training and Services business at Raytheon Intelligence & Space.

What key achievements did you have in 2019/2020? 

A major achievement Raytheon Intelligence & Space earned this year was being named the winner of the “Overall CyberSecurity Company of the Year” award in the Fourth Annual CyberSecurity Breakthrough Awards program.

RI&S’ Cyber, Training and Services product line counteracts rapidly evolving threats around the globe with a customizable and comprehensive suite of solutions that provide advanced protection. The company’s solutions help protect every side of cyber for government agencies, businesses and nations — defending the most critical information, systems and operations with breakthrough solutions.

These solutions include the following: cyber analytics and intelligence services, DevSecOps optimization, cyber physical systems security, data orchestration and resiliency, cyber systems defense and integration, cyber warfare and cyber operations and research.

We also recently launched a new technology, DejaVM, that conducts system-level cyber vulnerability testing without requiring customers to provide access to the limited number of highly specialized physical hardware assets.

Most importantly, we’ve maintained a very high standard of execution excellence for our customers, which has been reflected in positive feedback across the board. I’ve heard from multiple customers that in the face of a global pandemic, “The team has not skipped a beat.”

What are you most proud of having been a part of in your current organization?

I’ve had many moments of pride watching the way our team has supported our customers in today’s most extraordinary work environment. In some cases, we’ve even facilitated government work approvals for employees of other primes supporting the same mission.

At the end of the…

Source…

Yale CS professor wins award for ‘Pancake’ cybersecurity system

/in


Adam Levine 11:45 pm, Nov 01, 2020

Contributing Reporter

Anasthasia Shilov, Illustrations Editor

Anurag Khandelwal, assistant professor of computer science, won a Distinguished Paper Award at the 29th USENIX Security Symposium for his paper on a new cybersecurity system this fall.

The annual USENIX Security Symposium, which Computer Science Department Chair Zhong Shao called “one of the most prestigious computer science conferences,” brings together researchers and practitioners from within the security field. Each year, hundreds of researchers submit their papers to USENIX in hopes of winning an award and sharing their work with a large audience. Khandelwal’s paper — which he worked on with associates from Cornell University, Cornell Tech and University of California, Berkeley — reported on the security system they developed called Pancake.

“The department is really thrilled that Anurag has won this distinguished paper award during his first year at Yale,” Shao wrote in an email to the News. “There are many faculty members and students at Yale who are really interested in the data security and privacy problem. Anurag is a top researcher and a real system builder in this field. We all look forward to seeing many more exciting results from him in the coming years.”

Khandelwal’s paper was one of 11 papers to earn a Distinguished Paper Award at the 2020 conference. In total, there were 977 submissions, and 157 were accepted.

Pancake prevents “malicious” cloud administrators from accessing potentially sensitive information from certain server records. Although data being stored in the cloud may be encrypted, sensitive information…

Source…

DHS improves internet security with EIS award to MetTel

/in

The Department of Homeland Security awarded a $ 3 million information technology task order to MetTel, giving it real-time visibility into internet access and security across all its offices nationwide …
internet security – read more