Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Concordia Institute for Information Systems Engineering
labStructName_s : Departamento Sistemas Informáticos y Computación [Madrid]
Image document

A Comparison between Two Off-the-Shelf Algebraic Tools for Extraction of Cryptographic Keys from Corrupted Memory Images

Abdel Alim Kamal , Roger Zahno , Amr M. Youssef
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.75-90
Conference papers hal-01506556v1
Image document

Input-Output Conformance Simulation (iocos) for Model Based Testing

Carlos Gregorio-Rodríguez , Luis Llana , Rafael Martínez-Torres
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.114-129, ⟨10.1007/978-3-642-38592-6_9⟩
Conference papers hal-01515238v1