The Realsearch group envisions a future where trustworthy software-intensive systems improve the quality of people's lives. These systems will be created by a diverse community of software engineers that will employ methodologies based upon sound scientific research that is disseminated through freely-available, open resources. We envision software developers and researchers partnering to improve the capability of the software industry to efficiently produce trustworthy systems.

News

Older posts…

Research

Supply Chain Weaklinks and Best Security Practices

Supply Chain Weaklinks and Best Security Practices

Aid to identify secure software products in ecosystem that are resistant to supply chain attacks.

To aid software practitioners on to select a secure software product by demonstrating the weak links and the best security practices of the products in a ecosystem.

Read more »
P4-Misuse

P4-Misuse

Reasoning about Accidental and Malicious Misuse via Formal Models of User Expectations and Software Systems

To aid security analysts in identifying and protecting against accidental and malicious actions by users or software through automated reasoning on unified representations of user expectations and software implementation to identify misuses sensitive to usage and machine context.

Read more »

People

Collaborators

Undergraduate Students

Past Undergraduate Students