<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <html> <head> <meta content="text/html; charset=utf-8" http-equiv="CONTENT-TYPE" /> <title>Federico Mancini Home Page</title> <meta content="OpenOffice.org 2.3 (Linux)" name="GENERATOR" /> <meta content="20050524;14345000" name="CREATED" /> <meta content="20080930;12024900" name="CHANGED" /> </head> <body dir="LTR" lang="en-US"> <h1 align="CENTER"> <img align="LEFT" alt="Myself" border="0" height="534" src="img/fede2.jpg" width="400" />FEDERICO MANCINI</h1> <p align="CENTER" style="margin-bottom: 0cm"> &nbsp;</p> <p align="CENTER" style="margin-bottom: 0cm"> <font size="3" style="font-size: 13pt">University of Bergen<br /> Department of Informatics<br /> HIB - P.B. 7803<br /> N-5020 Bergen, Norway<br /> Email: fma042[at]uib.no<br /> Office: H&oslash;yteknologisenteret, Datablokken, Room 3148 </font></p> <p align="CENTER" style="margin-bottom: 0cm"> &nbsp;</p> <hr /> <p align="CENTER"> <br /> &nbsp;</p> <p align="LEFT"> I am currently working as part-time associate professor in the Programming Theory group at the <a href="http://www.uib.no/">University of Bergen</a> as part of the <a href="http://www.uib.no/rg/pt/projects/secure-mobile-data-collection-systems">Secure Mobile Data Collection Systems</a>, while holding a full time position as researcher at the Norwegian Defence Research Center (<a href="http://www.ffi.no">FFI</a>). I previously worked as a postdoc in the <a href="http://www.ii.uib.no/ship/#overview">SHIP</a> project (Secure Heterogeneous Information Presentation).</p> <p align="LEFT"> <br /> &nbsp;</p> <hr /> <p align="LEFT"> <br /> &nbsp;</p> <p align="LEFT"> <br /> &nbsp;</p> <p align="LEFT"> <br /> &nbsp;</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>EDUCATION:</b></font></p> <p align="LEFT"> I graduated in Computer Engineering with ``<i>summa cum laudae</i>&#39;&#39; at the ``Universit&agrave; degli studi Roma Tre&#39;&#39; in Rome in December 2004, with the thesis:</p> <p align="LEFT"> ``<b>Selective Visual Attention: From the Neurobiological Basis to a Computational Implementation</b>&#39;&#39;</p> <p align="LEFT"> After that, I studied as a PhD student of the <a href="http://www.ii.uib.no/forskningsgrupper/algo/">Algorithms Group</a> at the <a href="http://www.ii.uib.no/">Informatic Department</a> of the <a href="http://www.uib.no/">University of Bergen</a> under the supervision of <a href="http://www.ii.uib.no/~pinar">Pinar Heggernes</a>.</p> <p align="LEFT"> I graduated in September 2008 with the thesis:</p> <p align="LEFT"> &ldquo;<b>Graph Modification Problems Related to Graph Classes</b>&rdquo; (<a href="http://www.ii.uib.no/~federico/papers/Part1.pdf">Part 1</a>)</p> <hr /> <p align="CENTER"> <font size="5" style="font-size: 17pt"><b>PUBLICATIONS</b></font></p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>JOURNAL PAPERS: </b></font></p> <p align="LEFT"> <b>- On the complexity of reconstructing H-free graphs from their Star Systems. </b>(<a href="../Desktop"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>F.Fomin, J.Kratochvil, D.Lokshtanov, F.Mancini and J.A.Telle </i><br /> Journal of Graph Theory 68(2):113-124, 2011.</p> <p align="LEFT"> <b>- Strongly chordal and chordal bipartite graphs are sandwich monotone.</b><br /> <i>Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and R. Sritharan </i><br /> Journal of Combinatorial Optimization 22(3):438-456, 2011.</p> <p align="LEFT"> <b>- Rooted directed path graphs are leaf powers.</b> (<a href=""><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Andreas Brandst&auml;dt, Christian Hundt, Federico Mancini and Peter Wagner</i><br /> Discrete Mathematics 310:897-910, 2010.</p> <p align="LEFT"> <b>- Clustering with partial information.</b> (<a href=""><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Hans Bodlaender, Mike Fellows, Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and Frances Rosamond</i><br /> Theoretical Computer Science. To appear.</p> <p align="LEFT"> <b>- Characterizing and Computing Minimal Cograph Completions.</b> (<a href="papers/cographcompl.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Daniel Lokshtanov, Federico Mancini and Charis Papadopoulos</i><br /> Discrete Applied Mathematics 158(7):755-764, 2010.</p> <p align="LEFT"> <b>- Minimum fill-in and treewidth of split+kv and +ke graphs.</b> (<a href="papers/param.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Federico Mancini</i><br /> Discrete Applied Mathematics 158(7):747-754, 2010.</p> <p align="LEFT"> <b>- Dinamically Mantaining Split Graphs</b> (<a href="papers/dynsplit-rev2.ps"><span style="font-weight: medium">.ps</span></a>,<a href="papers/dynsplit-rev2.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes and Federico Mancini</i><br /> Discrete Applied Mathematics 157(9): 2057-2069, 2009.</p> <p align="LEFT"> <b>- Minimal Split Completions of Graphs</b> (<a href="papers/split.ps"><span style="font-weight: medium">.ps</span></a>,<a href="papers/split.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes and Federico Mancini</i><br /> Discrete Applied Mathematics 157(12): 2659-2669, 2009.</p> <p align="LEFT"> <b>- Minimal comparability completions of arbitrary graphs </b>(<a href="http://www.ii.uib.no/~charis/files/MinComp-DAM-REV.pdf%22"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes, Federico Mancini, and Charis Papadopoulos.</i><br /> Discrete Applied Mathematics 156(5):705-718, 2008.</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>CONFERENCE PROCEEDINGS:</b></font></p> <p align="LEFT"> <b>- High Assurance information exchange based on Publish-Subscribe and ABAC methods</b><br /> <i>Anders Fongen and Federico Mancini</i><br /> Proceedings of MILCOM 2014 - Military Communications Conference. Oct. 6 &ndash; 8, USA, Baltimore, MD, IEEE Proceedings, pp: to appear.</p> <p align="LEFT"> <b>- The Integration of Trusted Platform Modules into a Tactical Identity Management System</b><br /> <i>Anders Fongen and Federico Mancini</i><br /> Proceedings of MILCOM 2013 - Military Communications Conference. November 18-20, USA, San Diego, IEEE Proceedings, pp: 1808 - 1813.</p> <p align="LEFT"> <b>- Secure cloud storage for remote mobile data collection</b><br /> <i>Samson Gejibo, Federico Mancini, Khalid A. Mughal and Daniele Grasso</i><br /> Proceedings of NordiCloud 2013 &ndash; 2nd Nordic Symposium on Cloud Computing and Internet Technologies. September 3-4, Norway, Oslo, ACM, pp: 8-14.</p> <p align="LEFT"> <b>- Attested Genuineness In Service Oriented Environments</b><br /> <i>Anders Fongen and Federico Mancini</i><br /> Proceedings of ICDIPC 2013 - The 3rd International Conference on Digital Information Processing and Communications. January 30 &ndash; February 1, United Arab Emirates, Dubai, pp: 8-17.</p> <p align="LEFT"> <b>- Identity Management and Integrity Protection in Publish-Subscribe Systems</b><br /> <i>Anders Fongen and Federico Mancini</i><br /> Proceedings of IdMan 2013 &ndash; 3rd Working conference on Policies and Research in Identity Management. April 8-9, UK, London, Springer IFIP Advances in Information and Communication Technology, 396: 86-92.</p> <p align="LEFT"> <b>- Secure Data Storage for Java ME-Based Mobile Data Collection Systems (Extended version)</b><br /> <i>S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.</i><br /> Proceedings of MEDES 2012 - 4th International ACM Conference on Management of Emergent Digital EcoSystems, 28-31 October, Addis Ababa, Ethiopia.<br /> Conference Proceedings pp: 131-144.</p> <p align="LEFT"> <b>- Secure Data Storage for Java ME-Based Mobile Data Collection Systems (Short paper)</b><br /> <i>S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.</i><br /> Proceedings of HealthCom 2012 - 14th IEEE Conference on e-Health Networking Applications and Services, 10-13 October, Beijing, China.<br /> Conference Proceedings pp: To appear.</p> <p align="LEFT"> <b>- Secure Mobile Data Collection Systems for Low-Budget Settings</b><br /> <i>S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.</i><br /> Proceedings of ARES 2012 - 7th International Conference on Availability, Reliability and Security, 20-24 August 2012, Prague, Czech Republic.<br /> Conference Proceedings pp:196-205.</p> <p align="LEFT"> <b>- Challenges in Implementing End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings</b><br /> <i>S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.</i><br /> Proceedings of EssoS 2012 - 4th International Symposium on Engineering Secure Software and Systems, 16-17 February, Eindhoven, The Netherlands.<br /> Springer Verlag, Lecture Notes in Computer Science, 7159:38-45.</p> <p align="LEFT"> <b>- Adding Security to Mobile Data Collection</b><br /> <i>S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr.</i><br /> Proceedings of HealthCom 2011 - 13th IEEE Conference on e-Health Networking Applications and Services, 13-15 June, Columbia, USA.<br /> Conference Proceedings pp:86-89.</p> <p align="LEFT"> <b>- A parameterized algorithm for Chordal Sandwich (<a href="papers/chordalsandwich-CIAC.pdf"><span style="font-weight: medium">.pdf</span></a>)</b><br /> <i>Pinar Heggernes, Federico Mancini, Jesper Nederlof, and Yngve Villanger.</i><br /> Proceedings of CIAC 2010 - 7th International Conference on Algorithms and Complexity, May 26-28, Rome.<br /> Springer Verlag, Lecture Notes in Computer Science, 6078:120-130.</p> <p align="LEFT"> <b>- The SHIP Validator: An Annotation-Based Content-Validation Framework for Java Applications</b><br /> <i>Dag Hovland, Federico Mancini, and Khalid A. Mughal</i><br /> Proceedings of ICIW 2010 - 5th International Conference on Internet and Web Applications and Services, May 9-15, Barcelona, Spain.<br /> IEEE proceedings, pp: 122-128.</p> <p align="LEFT"> <b>- Investigating the limitations of Java annotations for input validation </b><br /> <i>Dag Hovland, Federico Mancini, and Khalid A. Mughal</i><br /> Proceedings of SecSE 2010 - 4th International Workshop on Secure Software Engineering, February 15-18, Krakow, Poland. IEEE Proceedings, pp: 513 - 518.</p> <p align="LEFT"> <b>- Strongly chordal and chordal bipartite graphs are sandwich monotone </b> (<a href="http://www.ii.uib.no/?mode=show_page&amp;link_id=145767"link_id=153602&amp;toplink_id=145711"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and R. Sritharan</i><br /> Proceedings of COCOON 2009 - 15th Annual International Conference on Computing and Combinatorics, July 13-15, Niagara Falls, NY, USA.<br /> Springer Verlag, Lecture Notes in Computer Science 5609: 398-407.</p> <p align="LEFT"> <b>- Clustering with partial information</b> (<a href="http://www.ii.uib.no/?mode=show_page&amp;link_id=145767"link_id=153602&amp;toplink_id=145711"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini, Charis Papadopoulos and Frances Rosamond</i><br /> Proceedings of MFCS 2008 - 33rd International Symposium on Mathematical Foundations of Computer Science, August 25-29, Toru, Poland.<br /> Springer Verlag, Lecture Notes in Computer Science 5162:144-155.</p> <p align="LEFT"> <b>- Characterizing and Computing Minimal Cograph Completions.</b> (<a href="papers/352.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Daniel Lokshtanov, Federico Mancini and Charis Papadopoulos</i><br /> Proceedings of FAW 2008 - 2nd International Frontiers of Algorithmics Workshop, June 19 - 21, Changsha, China.<br /> Springer Verlag, Lecture Notes in Computer Science 5059:147-158.</p> <p align="LEFT"> <b>- On the complexity of reconstructing H-free graphs from their Star Systems. </b>(<a href="../Desktop"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>F.Fomin, J.Kratochvil, D.Lokshtanov, F.Mancini and J.A.Telle </i><br /> Proceedings of LATIN 2008 - 8th Latin American Theoretical Informatics Symposium, April 2008, Rio de Janeiro, Brazil.<br /> Springer Verlag, Lecture Notes in Computer Science 4957:194-205.</p> <p align="LEFT"> <b>- Minimum fill-in and treewidth of split+kv and +ke graphs.</b> (<a href="papers/param.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Federico Mancini</i><br /> Proceedings of ISAAC 2007 - 17th International Symposium on Algorithms and Computation, December 2007, Sendai, Japan.<br /> Springer Verlag, Lecture Notes in Computer Science 4835:881-892.</p> <p align="LEFT"> <b>- Making arbitrary graphs transitively orientable: Minimal comparability completions</b> (<a href="http://www.ii.uib.no/publikasjoner/texrap/pdf/2006-317.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes, Federico Mancini, and Charis Papadopoulos</i><br /> Proceedings of ISAAC 2006 - 17th International Symposium on Algorithms and Computation, December 2006, Kolkata, India.<br /> Springer Verlag, Lecture Notes in Computer Science 4288: 419 - 428.</p> <p align="LEFT" style="margin-bottom: 0cm"> <b>- Minimal Split Completions of Graphs</b> (<a href="papers/split.ps"><span style="font-weight: medium">.ps</span></a>,<a href="papers/split.pdf"><span style="font-weight: medium">.pdf</span></a>)<br /> <i>Pinar Heggernes and Federico Mancini</i><br /> Proceedings of LATIN 2006 - 7th Latin American Theoretical Informatics Symposium, March 2006, Valdivia, Chile.<br /> Springer Verlag, Lecture Notes in Computer Science 3887:592 - 604.<!-- <P ALIGN=LEFT><FONT SIZE=3 STYLE="font-size: 13pt"><B>TECHNICAL REPORTS:</B></FONT></P> --></p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>BOOK CHAPTERS: </b></font></p> <p align="LEFT"> <b>- Secure Mobile Data Collection</b><br /> <i>Federico Mancini, Khalid Mughal and Samson Gejibo</i><br /> Submitted to Mobile Health (mHealth): The Technology Road Map.</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>TECHNICAL REPORTS AND NOT PUBLISHED WORKS: </b></font></p> <p align="LEFT"> <b>- A Formal Approach to the Specification of Data Validation Constraints in MDE.</b><br /> <i>Alessandro Rossini, Adrian Rutle, Federico Mancini, Dag Hovland, Khalid A. Mughal, Yngve Lamo and Uwe Egbert Wolter.</i><br /> Presented at NWPT 2009 - 21th Nordic Workshop on Programming Theory, October 14-16, Lyngby, Denmark.</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>PHD STUDENTS: </b></font></p> <p align="LEFT" style="margin-bottom: 0cm"> - <b> Samson H. Gejibo</b>.<br /> <b>Thesis:</b> Securing Mobile Data Collection Systems. Expected to finish in 2015.</p> - <b> Kyrre Wahl Kongsard</b>.<br /> <b>Thesis:</b> Data Ex ltration Detection and Prevention. Expected to finish in 2017.</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>MASTER STUDENTS: </b></font></p> <p align="LEFT" style="margin-bottom: 0cm"> - <b>Remi Andre B. Valvik</b>.<br /> <b>Thesis:</b> Security API for Java ME: secureXdata.</p> <p align="LEFT" style="margin-bottom: 0cm"> - <b>Daniele Grasso</b>.<br /> <b>Thesis:</b> Authentication and secure data storage in cloud based mobile data collection.</p> <p align="LEFT" style="margin-bottom: 0cm"> - <b>Tore Myklebust</b>.<br /> <b>Thesis:</b> Secure Storage in Mobile Data Collection (In Norwegian). Expected to finish in 2014.</p> <p align="LEFT" style="margin-bottom: 0cm"> - <b>Andr S. Kristensen</b>.<br /> <b>Thesis:</b> Cloud, Security and Mobile Data collection. Expected to finish in 2015.</p> <p align="LEFT" style="margin-bottom: 0cm"> - <b>Henrik Sivertsgrd</b>.<br /> <b>Thesis:</b> Android Storage Security and Mobile Data Collection. Expected to finish in 2016.</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>IN PREPARATION: </b></font></p> <p> Coming soon</p> <p align="LEFT"> <font size="3" style="font-size: 13pt"><b>IMPLEMENTATIONS: </b></font></p> <p align="LEFT" style="margin-bottom: 0cm"> <b>- API to add secure storage to J2ME based MDCS (Mobile Data Collection Systems). In collaboration with <a href=" http://www.openxdata.com">openXdata</a>.</b></p> <p align="LEFT" style="margin-bottom: 0cm"> <b>- Input Validation in Java - The SHIP Validator:</b> <a href=" http://shipvalidator.sourceforge.net"><span style="font-weight: medium"> http://shipvalidator.sourceforge.net</span></a>.</p> <hr /> <p align="LEFT"> <b>LINKS:</b></p> <p align="LEFT"> <b>- </b><a href="latex"><span style="font-weight: medium">Latex file with university template for beamer package</span></a></p> <p align="LEFT"> <b>- </b><a href="http://www.ii.uib.no/forskningsgrupper/algo/winterschool/winterschool2005.html"><span style="font-weight: medium">Winter school 2005</span></a></p> <p align="LEFT"> - <a href="http://slashdot.org/">Slashdot </a></p> <p align="LEFT"> - <a href="http://www.phdcomics.com/comics/archive.php?comicid=238">PhD Comics </a></p> <p align="LEFT"> - <a href="http://www.quotationspage.com/qotd.html">Daily Quote </a></p> <p align="LEFT"> - <a href="ten%20rules.html" target="_blank">Some rules to have a good life :-)</a></p> <p align="CENTER"> <br /> &nbsp;</p> <dl> <dt style="margin-bottom: 0.51cm; text-align: center"> <br /> &nbsp;</dt> </dl> <p> <br /> &nbsp;</p> <p> <a href="http://validator.w3.org/check?uri=referer"><img alt="Valid HTML 4.0 Transitional" height="31" src="http://www.w3.org/Icons/valid-html40" width="88" /></a></p> </body> </html>