3 citations · 5 across the 2 of their papers we have counts for
3 papers
State Space Reduction in the Maude-NRL Protocol Analyzer
Santiago Escobar, Catherine Meadows, Jose Meseguer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different…
Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security…
Removing Redundant Arguments Automatically
Maria Alpuente, Santiago Escobar, Salvador Lucas
The application of automatic transformation processes during the formal development and optimization of programs can introduce encumbrances in the generated code that programmers u…