Crimeware-as-a-service—A survey of commoditized crimeware in the underground market

Sood, Aditya; Enbody, Richard

doi:10.1016/j.ijcip.2013.01.002

Cited by 74 publications

(54 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Again, the amount of harm depends on the importance of the victimised computer. However, criminals can use and resell the electricity and network connection of any computer, to either hide more sinister attacks or rent as infrastructure for less technologically capable criminals (Sood and Enbody 2013). Thus, it is important to prevent vulnerabilities such as memory management errors in all computers.…”

Section: Solving a Hard Problemmentioning

confidence: 99%

Why Separation Logic Works

2018

View full text Add to dashboard Cite

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer's conceptual model of a program's manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning task. Scalability is a central problem, and some would even say the central problem, in applications of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model-the engineering/conceptual and the logical-to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to (a subset of) the problems, process, and results of computer scientists for those outside the field.

show abstract

Section: Solving a Hard Problemmentioning

confidence: 99%

Why Separation Logic Works

2018

View full text Add to dashboard Cite

show abstract

“…Thus, the regional stability of the cyber-infrastructure is based on the stability of the economic and political relations. The struggling mechanisms at this level should be formed by the international organizations, states, ICT-related stakeholders and others, and should guarantee the management of fighting any global intervention [10,11].…”

Section: Global Fighting Initiativesmentioning

confidence: 99%

Multi-Level Analysis of Initiatives in Countering Botnets

İmamverdiyev¹,

Garayeva²

2018

JPIT

View full text Add to dashboard Cite

“…Furthermore, Kraemer-Mbula et al (2013) have shown the ongoing globalisation based on a growing digital ecosystem, in cybercrime and underground markets, using credit card fraud and identity theft as exemplary cases. Moreover, Sood and Enbody (2013) introduced the model of crimeware-as-a-service, describing and analysing multiple forms of criminal services purchasable on underground markets. These underground markets thus have a vast supply of specific parts of the malware ecosystem (Sood and Enbody 2013).…”

Section: Theoretical Background Economics and Crime Analysismentioning

confidence: 99%

“…Moreover, Sood and Enbody (2013) introduced the model of crimeware-as-a-service, describing and analysing multiple forms of criminal services purchasable on underground markets. These underground markets thus have a vast supply of specific parts of the malware ecosystem (Sood and Enbody 2013). Matched with a continuous demand for these parts to set up a financial malware scheme, this creates an extraordinary (criminal) market structure.…”

Section: Theoretical Background Economics and Crime Analysismentioning

confidence: 99%

Discerning Novel Value Chains in Financial Malware

Wegberg

Klievink

Eeten

2017

Eur J Crim Policy Res

View full text Add to dashboard Cite

Fraud with online payment services is an ongoing problem, with significant financial-economic and societal impact. One of the main modus operandi is financial malware that compromises consumer and corporate devices, thereby potentially undermining the security of critical financial systems. Recent research into the underground economy has shown that cybercriminals are organised around highly specialised tasks, such as pay-perinstall markets for infected machines, malware-as-a-service and money mule recruitment. Setting up a successful financial malware scheme requires the aligning of many moving parts. Analysing how cybercrime groups acquire, combine and align these parts into value chains can greatly benefit from existing insights into the economics of online crime. Using transaction cost economics, this paper illustrates the business model behind financial malware and presents three novel value chains therein. For this purpose, we use a conceptual synthesis of the state-of-the-art of the literature on financial malware, underground markets and (cyber)crime economics, as well as today's banking practice.

show abstract

Crimeware-as-a-service—A survey of commoditized crimeware in the underground market

Cited by 74 publications

References 16 publications

Why Separation Logic Works

Why Separation Logic Works

Multi-Level Analysis of Initiatives in Countering Botnets

Discerning Novel Value Chains in Financial Malware

Contact Info

Product

Resources

About