Presentation

event

Visible to the public  Fall'21 Science of Security Quarterly Lablet Meeting
Nov 15, 2021 10:00 am - Nov 16, 2021 4:00 pm CST

Submitted by Katie Dey on Thu, 11/04/2021 - 11:10am

The Fall'21 Science of Security Quarterly Lablet Meeting will be hosted by The University  of Kansas on November 15-16, 2021. The program agenda will include invited talks from Dr. Robert Runser (NSA) and Dr. Natarajan Shankar (SRI) as well as briefs from the Lablets. 

The meeting will be virtual. To gain access to the meeting, please register here: https://cps-vo.org/LabletQTRLY/2021/KU-register

Agenda

file

Visible to the public Robots Have Feelings Too: A Discussion About Technology Reflecting the Communities They Serve (and Biases They Still Hold)

Submitted by akarns on Fri, 04/21/2023 - 12:46pm. Contributors:

Abstract: Research has shown that technology does not lack bias - in fact, technology maintains and sometimes amplifies the biases of its developers. As society continues to make technological advances, particularly in the space of robotics and artificial intelligence (AI), it is important to ensure that teams are being intentional about building diverse and inclusive teams, incorporating responsible and ethical development practices, and consciously considering how technologies will impact the communities they serve.

file

Visible to the public Robotic Learning with Large Datasets

Submitted by akarns on Fri, 04/21/2023 - 12:46pm. Contributor:
file

Visible to the public Robotics Solutions Through Scalable Reactive Synthesis

Submitted by akarns on Fri, 04/21/2023 - 12:46pm. Contributor:
file

Visible to the public CCCs Mid-Cycle Robotics Roadmap Report Update

Submitted by akarns on Fri, 04/21/2023 - 12:46pm. Contributor:

Bio:

file

Visible to the public Zelkova - 100 Million+ SMT Queries a Day

Submitted by Anonymous on Wed, 03/29/2023 - 11:26am. Contributor:

ABSTRACT

Zelkova is a distributed system that uses automated reasoning to answers logical questions about security policies, like "does principal A have access to resource B" or "is resource C accessible by unauthenticated principals." Zelkova does this by translating both the input policy and question into an SMT query and calling a portfolio of solvers. Launched five years ago, Zelkova has become a critical part of Amazon Web Services (AWS) "provable security" initiative, growing to process over a billion SMT queries a day.

file

Visible to the public Capabilities Labeling

Submitted by Anonymous on Wed, 03/29/2023 - 11:26am. Contributors:

Abstract

The goal of reverse engineering (RE) is to determine the purpose and intent of software, such as legacy binaries, malware, or COTS components of unknown provenance. While RE tools have improved, the task is still daunting, especially for stripped binaries with no function or variable names. Understanding such code is a time-consuming, attention-demanding, and error-prone task, and the skills applied by experts can take years of experience to develop. Many state-of-the-art RE tools provide primarily generic information, such as entry-points or reachability.