Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications

R. Sekar and P. Uppuluri

State University of New York at Stony Brook

Next slide

Back to first slide

View graphic version