Publications

To acknowledge FilieraSicura please add this sentence to you papers, patents, prototypes etc."This present work has been partially supported by CINI Cybersecurity National Laboratory within the project FilieraSicura: Securing the Supply Chain of Domestic Critical Infrastructures from Cyber Attacks (www.filierasicura.it) funded by CISCO Systems Inc. and Leonardo SpA".

If you want to explicitly state your affiliation to CINI please use the following "CINI Cybersecurity National Laboratory"

 

 
 @INPROCEEDINGS{
	UAB17inproceedings4A,
	AUTHOR="D. Ucci and L. Aniello and R. Baldoni",
	TITLE="{Share a pie? Privacy-Preserving Knowledge Base Export through Count-min Sketches}",
	YEAR="2017",
	BOOKTITLE="Proceedings of the 7th ACM Conference on Data and Application Security and Privacy (CODASPY '17)",
	MONTH="3",
	PAGES="95-106",
	DOI={10.1145/3029806.3029817},
	URL="http://doi.org/10.1145/3029806.3029817",
}

@ARTICLE{7894207,
	author={E. I. Vatajelu and P. Prinetto and M. Taouil and S. Hamdioui},
	journal={IEEE Transactions on Emerging Topics in Computing},
	title={Challenges and Solutions in Emerging Memory Testing},
	year={2017},
	volume={PP},
	number={99},
	pages={1-1},
	doi={10.1109/TETC.2017.2691263}, 
	URL="http://doi.org/10.1109/TETC.2017.2691263",
}

@inproceedings{coppa17cscml,
	Author = {R. Baldoni and E. Coppa and D. Cono D'Elia and C. Demetrescu},
	Booktitle = {In Proceedings of the International Symposium on Cyber Security Cryptography and Machine Learning (CSCML)},
	Date-Added = {2017-06-06 20:59:22 +0000},
	Date-Modified = {2017-06-06 21:01:25 +0000},
	Title = {Assisting Malware Analysis with Symbolic Execution: a Case Study},
	pages={171-188},
	Year = {2017}
}

@INPROCEEDINGS{7930156, 
	author={G. Airò Farulla and P. Prinetto and A. Varriale}, 
	booktitle={2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)}, 
	title={Holistic security via complex HW/SW platforms}, 
	year={2017}, 
	pages={1-6}, 
	doi={10.1109/DTIS.2017.7930156}, 
	URL="http://doi.org/10.1109/DTIS.2017.7930156",
	month={April},
}

@INPROCEEDINGS{7930158, 
	author={G. A. Farulla and A. L. Lamprecht}, 
	booktitle={2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS)}, 
	title={Model checking of security properties: A case study on Human-Robot Interaction processes}, 
	year={2017}, 
	pages={1-6}, 
	doi={10.1109/DTIS.2017.7930158}, 
	URL="http://doi.org/10.1109/DTIS.2017.7930158",
	month={April},
}

@inproceedings{venturi17crypto,
	Author = {S. Faust and K. Host{\'a}kov{\'a} and P. Mukherjee and D. Venturi},
	Booktitle = {Advances in Cryptology - CRYPTO 2017 - 37th Annual International Cryptology Conference},
	Date-Added = {2017-06-06 21:26:47 +0000},
	Date-Modified = {2017-06-06 21:28:49 +0000},
	Title = {Non-Malleable Codes for Space-Bounded Tampering},
	Year = {2017}
}
	
@inproceedings{quarta2017experimental,
	title={An Experimental Security Analysis of an Industrial Robot Controller},
	author={D. Quarta and M. Pogliani and M. Polino and F. Maggi and A. M. Zanchettin and S. Zanero},
	booktitle={Proceedings of the IEEE Symposium on Security and Privacy},
	pages={268-286},
	year={2017}
}

@inproceedings{FS17,
	author    = {R. Focardi and M. Squarcina},
	title     = {Run-time Attack Detection in Cryptographic APIs},
	booktitle = {Proceedings of the {IEEE} 30th Computer Security Foundations Symposium (CSF)},
	year      = {2017},
}

@inproceedings{FS17,
	author    = {S. Calzavara and I. Grishchenko and A. Koutsos and M. Maffei},
	title     = {A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications},
	booktitle = {Proceedings of the {IEEE} 30th Computer Security Foundations Symposium (CSF)},
	year      = {2017},
}

@INPROCEEDINGS{secryptUnige,
	author    = {F. Sinigaglia and G. Costa and R. Carbone},
	title     = "Strong Authentication for e-Banking: a Survey on Regulations and Implementations",
	booktitle = "To appear in Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (SECRYPT)",
	year      = "2017",
}

@INPROCEEDINGS{TeleriseUnige,
	author    = {G. Costa and F. Sinigaglia and R. Carbone},
	title     = "PolEnA: Enforcing Fine-grained Permission Policies in Android",
	booktitle = "To appear in Proceedings of the 3rd International Workshop on Technical and Legal aspects of Data Privacy and Security (TELERISE)",
	year      = "2017",
} 

@INPROCEEDINGS{Cinque_dsn_2017,
	author={M. Cinque and R. Della Corte and A. Pecchia},
	booktitle={To appear in Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks},
	title={Entropy-Based Security Analytics: Measurements from a Critical Information System},
	year={2017},
}

@ARTICLE{7945499,
	author={D. Cotroneo and A. Paudice and A. Pecchia},
	journal={IEEE Transactions on Dependable and Secure Computing},
	title={Empirical Analysis and Validation of Security Alerts Filtering Techniques},
	year={2017},
	volume={PP},
	number={99},
	pages={1-1},
	doi={10.1109/TDSC.2017.2714164},
	URL="https://doi.org/10.1109/TDSC.2017.2714164",
	ISSN={1545-5971},
}