20 citations · 75 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Maria Alpuente, Angel Cuenca, Santiago Escobar +1
Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expres…
cs.CR2016★ 7 cited
Effective Sequential Protocol Composition in Maude-NPA
Sonia Santiago, Santiago Escobar, Catherine Meadows +1
Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition i…