"Software for Computer Systems Trojans Detection as a Safety-Case Tool." Information & Security: An International Journal 28, no. 1 (2012): 121-132.

Savenko, Oleg, and Sergiy Lysenko. "Behavioral Trojans Model." In Computer Sciences and Information Technologies Conference. Lviv, 2007.