search menu icon-carat-right cmu-wordmark

Posts by Sagar Chaki

Verifying Software with Timers and Clocks (STACs)

Verifying Software with Timers and Clocks (STACs)

• Blog
Sagar Chaki

This blog post is coauthored by Dionisio de Niz. Software with timers and clocks (STACs) exchange clock values to set timers and perform computation. STACs are key elements of safety-critical systems that make up the infrastructure of our daily lives. They are particularly used to control systems that interact (and must be synchronized) with the physical world. Examples include avionics systems, medical devices, cars, cell phones, and other devices that rely on software not only...

Read More
Using Machine Learning to Detect Malware Similarity

Using Machine Learning to Detect Malware Similarity

• Blog
Sagar Chaki

Malware, which is short for "malicious software," consists of programming aimed at disrupting or denying operation, gathering private information without consent, gaining unauthorized access to system resources, and other inappropriate behavior. Malware infestation is of increasing concern to government and commercial organizations. For example, according to the Global Threat Report from Cisco Security Intelligence Operations, there were 287,298 "unique malware encounters" in June 2011, double the number of incidents that occurred in March. To help...

Read More
Learning a Portfolio-Based Checker for Provenance-Similarity of Binaries

Learning a Portfolio-Based Checker for Provenance-Similarity of Binaries

• Blog
Sagar Chaki

As software becomes an ever-increasing part of our daily lives, organizations find themselves relying on software that originates from unknown and untrusted sources. The vast majority of such software is available only as executables, known as "binaries." Many binaries--such as malware or different versions and builds of a software package--are simply minor variants of old programs (or in some cases exact copies) that have been run through a different compiler....

Read More

Contact the Author

Sagar Chaki

SEI Digital Library

SEI Publications

Visit the SEI Digital Library to see other publications by Sagar Chaki

View publications