Toward an Abstract Computer Virology

No abstract is available for this paper.

• Publication year

  2005

• Venue

  International Colloquium on Theoretical Aspects of Computing

• Publication date

  2005-10-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11560647_38
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Art of Computer Virus Research and Defense

  2005cited by this paper
• Some Further Theoretical Results about Computer Viruses

  2004influential reference
• Kolmogorov complexity estimates for detection of viruses in biologically inspired security systems: A comparison with traditional approaches

  2003cited by this paper
• 20世紀の名著名論：A.M.Turing: On Computable Numbers with an Application to the Entscheidungsproblem

  2002cited by this paper
• An Undetectable Computer Virus

  2000cited by this paper
• A Framework for Modelling Trojans and Computer Virus Infection

  1998cited by this paper
• Book Review: An introduction to Kolmogorov Complexity and its Applications Second Edition, 1997 by Ming Li and Paul Vitanyi (Springer (Graduate Text Series))

  1997cited by this paper
• The Giant Black Book Of Computer Viruses

  1995cited by this paper
• An Introduction to Kolmogorov Complexity and Its Applications

  1993cited by this paper
• Computer Implementation and Applications of Kleene’s S-M-N and Recursion Theorems

  1992cited by this paper
• An Overview of Computer Viruses in a Research Environment

  1991cited by this paper
• Advances in Cryptology — CRYPTO’ 88: Proceedings

  1990cited by this paper
• Classical recursion theory

  1989cited by this paper
• Models of practical defenses against computer viruses

  1989cited by this paper
• Computer viruses

  1988influential reference
• An Abstract Theory of Computer Viruses

  1988influential reference
• Computer viruses: Theory and experiments

  1987cited by this paper
• Theory of Recursive Functions and Effective Computability.

  1969cited by this paper
• Theory Of Self Reproducing Automata

  1967cited by this paper
• Computability and Unsolvability

  1959cited by this paper
• Introduction to Metamathematics

  1952cited by this paper
• On Computable Numbers, with an Application to the Entscheidungsproblem.

  1937influential reference

• Mal-Flux: Rendering hidden code of packed binary executable

  2019cites this paper
• On the Semantics of Intensionality and Intensional Recursion

  2017influential citation
• The Best Antivirus, Antimalware Solution for Home Owners And Corporates

  2015cites this paper
• Mining Malware Specifications through Static Reachability Analysis

  2013cites this paper
• Neural network Trojan

  2013cites this paper
• A modified pheromone dominant ant colony algorithm for computer virus detection

  2011cites this paper
• Evolution of Computer Virus Concealment and Anti-Virus Techniques: A Short Survey

  2011cites this paper
• Extended recursion-based formalization of virus mutation

  2009influential citation
• Formal models of reproduction : from computer viruses to artificial life

  2008influential citation
• Intrusion detection and virology: an analysis of differences, similarities and complementariness

  2007cites this paper
• A Classification of Viruses Through Recursion Theorems

  2007cites this paper
• Open Problems in Computer Virology

  2006cites this paper
• On Abstract Computer Virology from a Recursion Theoretic Perspective

  2006cites this paper
• Project Proposal

  year unknowncites this paper
• Project-team Calligramme Linear Logic, Proof Nets and Categorial Grammars Lorraine

  year unknowncites this paper