Volume 5,
Number 1,
February 2009
Volume 5,
Number 2,
May 2009
Volume 5,
Number 3,
August 2009
- Mehdi Talbi, Mohamed Mejri, Adel Bouhoula:
Specification and evaluation of polymorphic shellcode properties using a new temporal logic.
171-186
- Madhu K. Shankarapani, Anthonius Sulaiman, Srinivas Mukkamala:
Fragmented malware through RFID and its defenses.
187-198
- Pavel V. Zbitskiy:
Code mutation techniques by means of formal grammars and automatons.
199-207
- Philippe Beaucamps:
Extended recursion-based formalization of virus mutation.
209-219
- Matt Webster, Grant Malcolm:
Detection of metamorphic and virtualization-based malware using algebraic specification.
221-245
- Grégoire Jacob, Eric Filiol, Hervé Debar:
Functional polymorphic engines: formalisation, implementation and use cases.
247-261
- Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion:
Architecture of a morphological malware detector.
263-270
Copyright © Mon Nov 2 22:01:04 2009
by Michael Ley (ley@uni-trier.de)