3 citations · 6 across the 5 of their papers we have counts for
6 papers
Communicating on Security within Software Development Issue Tracking
Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl
During software development, balancing security and non security issues is challenging. We focus on security awareness and approaches taken by non-security experts using software d…
Introducing and Interfacing with Cybersecurity -- A Cards Approach
Ryan Shah, Manuel Maarek, Shenando Stals +5
Cybersecurity is an important topic which is often viewed as one that is inaccessible due to steep learning curves and a perceived requirement of needing specialist knowledge. With…
Tracking Mixed Bitcoins
Tin Tironsakkul, Manuel Maarek, Andrea Eross +1
Mixer services purportedly remove all connections between the input (deposited) Bitcoins and the output (withdrawn) mixed Bitcoins, seemingly rendering taint analysis tracking inef…
Development of a Web Platform for Code Peer-Testing
Manuel Maarek, Léon McGregor
As part of formative and summative assessments in programming courses, students work on developing programming artifacts following a given specification. These artifacts are evalua…
Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Taint Analysis
Tin Tironsakkul, Manuel Maarek, Andrea Eross +1
Since the creation of Bitcoin, transaction tracking is one of the prominent means for following the movement of Bitcoins involved in illegal activities. Although every Bitcoin tran…
Experience in using a typed functional language for the development of a security application
Damien Doligez, Christèle Faure, Thérèse Hardin +1
In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler ha…