@conference {18461, title = {MalAware: Effective and Efficient Run-time Mobile Malware Detector}, booktitle = {The 14th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2016)}, year = {2016}, month = {08/2016}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, address = {Auckland, New Zealand}, author = {Milosevic, Jelena and Ferrante, Alberto and Malek, Miroslaw} } @conference {18233, title = {Modeling Requirements For Security-enhanced Design of Embedded Systems}, booktitle = {ICETE SECRYPT}, year = {2014}, month = {08/2014}, publisher = {ICETE}, organization = {ICETE}, address = {Vienna, Austria}, author = {Ferrante, Alberto and Kaitovi{\'c}, Igor and Milosevic, Jelena} } @conference {55.DaFeMa, title = {A Memory Unit for Priority Management in IPSec Accelerators}, booktitle = {proceedings of ICC07. Glasgow, Scotland: IEEE Communications Society}, year = {2007}, month = {June 24}, address = {Glasgow, Scotland}, abstract = {This paper introduces a hardware architecture for high speed network processors, focusing on support for Quality of Service in IPSec-dedicated systems. The effort is aimed at defining a secure system on chip environment, where the speed and security requirements are of utmost importance. In particular, a method is devised to introduce and support Quality of Service through priorities at this level. An architecture of a memory system that provides automatic priority management is proposed.}, keywords = {accelerator, IPSec, priority, quality of service (QoS), security, system-on-chip (SoC), SystemC}, doi = {http://dx.doi.org/10.1109/ICC.2007.257}, author = {Dadda, Luigi and Ferrante, Alberto and Macchetti, Marco} } @conference {26.BoFeDuPi2004, title = {A Methodology for Testing IPSec-based Systems}, booktitle = {SoftCOM 2004}, year = {2004}, month = {October}, pages = {22-26}, address = {Split}, abstract = {{IPSec is a suite of protocols adding security to communications at the IP level. This suite of protocols is becoming more and more important as it is included as mandatory security mechanism in IPv6. This paper focuses on a methodology for testing IPSec implementations. A UML model of the IPSec suite of protocols was developed. Test cases were obtained applying a coverage method on the same model.}}, keywords = {encapsulating security payload (ESP), IPSec, security, testing, unified modeling language (UML)}, author = {Boiko, Uljana and Ferrante, Alberto and Lo Duca, Antonietta and Piuri, Vincenzo} }