taurus.polito.it
TORSEC - Remote Attestation
http://taurus.polito.it/trusted-computing/remote-attestation
Computer and Network Security Group. Remote Attestation (RA) is the process of reporting the. Of a Trusted Platform (TP) to a remote verifier (V). According to the specification of the TCG. The configuration is represented by a set of PCR values and optionally the corresponding measurement logs. The PCR values are signed by the TPM using an AIK. Our works on Remote Attestation. On Scalability of Remote Attestation. Presented at STC 2011. Attest your Linux system or try our examples.
taurus.polito.it
TORSEC - The Trusted Platform Agent (TPA)
http://taurus.polito.it/trusted-computing/trusted-platform-agent
Computer and Network Security Group. The Trusted Platform Agent (TPA). The Trusted Platform Agent (TPA). Welcome to the open-source library for Trusted Computing applications! The Trusted Platform Agent (in short, TPA) is a library designed to minimize the effort of writing applications that use the Trusted Computing technology and employ the Trusted Platform Module. TPM) Writing applications for Trusted Computing requires using a TCG Software Stack (TSS), for instance TrouSerS. PCR (read, extend). AIK (...
taurus.polito.it
TORSEC - members (current and past)
http://taurus.polito.it/members
Computer and Network Security Group. Members (current and past). Emanuele CESENA, Ph.D. Senior Researcher (at ISMB. Gianluca RAMUNNO, Ph.D. Davide VERNIZZI, Ph.D. Paolo C.Pomi , Ph.D. Aldo Basile, Ph.D. Elena Mastro Della Siepe. Giorgio CALANDRIELLO, Ph.D. Alberto CAPPADONIA, Ph.D. Last modified on Monday, 31-Mar-2014 08:32:57 CEST.
taurus.polito.it
TORSEC - publications
http://taurus.polito.it/publications
Computer and Network Security Group. CBasile, D.Canavese, A.Lioy, C.Pitscheider, F.Valenza,. Inter-function anomaly analysis for correct SDN/NFV deployment,. International Journal of Network Management. John Wiley and Sons,. Vol26, Issue 1, January-February 2016, pp. 25-43. DOI: 10.1002/nem.1917. PDF (members-only local copy). PDF (free copy, courtesy of John Wiley and Sons). DBerbecaru, A.Lioy. Software: Practice and Experience. John Wiley and Sons,. Vol45, Issue 11, November 2015, pp. 1457-1477. PDP-20...
taurus.polito.it
TORSEC - TrouSerS for Windows
http://taurus.polito.it/trusted-computing/trousers-for-windows
Computer and Network Security Group. TrouSerS for Windows Vista and Windows 7. The open source TCG Software Stack (TSS) . now for Windows Vista and Windows 7! The lack of an open source TSS for Windows is a pain for many developers and researchers. In order to fill this gap, we ported TrouSerS. We are working to enhance it for full compatibility with upstream TrouSerS. This work is released with the same licence as TrouSerS. For TrouSerS 0.3.6. 20101105) patch for TrouSerS 0.3.6. Solved a file lock issue.
taurus.polito.it
TORSEC - research projects
http://taurus.polito.it/projects
Computer and Network Security Group. Through the years, TORSEC took and is taking part to several funded research projects, listed here. For more information, click on the name of a specific project. A European research project to develop techniques for building security configurations derived automatically from high-level policies, and at the same time enabling traceback from actual configurations to the original requirements to prove compliance with them. 2008-2011, EC, ICT-PSP). To develop a security ...
taurus.polito.it
TORSEC - thesis
http://taurus.polito.it/thesis
Computer and Network Security Group. To know subjects available for graduate or undergraduate thesis, contact Prof. Antonio Lioy by mail ( lioy. The preferred format for thesis written inside the TORSEC group is LaTeX. If you don't have it available, the following tools are suggested:. Processing system for Unix/Linux). Processing system for Win32; includes TeXworks, a simple IDE). And unzip it in. C: Program Files MiKTeX 2.8 hunspell dicts. Pointer to latest version - ZIP archive. However if you create ...
phd-dauin.polito.it
PhD in Computer and Control Engineering
http://www.phd-dauin.polito.it/proposals.php
PhD in computer and Control Engineering. PhD selection is performed twice a year through an open process. The next call for admission to the XXXIII cycle will be published in winter. For more information, please visit the website of the Doctoral School. In the following, we report a list of possible topics for new PhD students in Computer and Control Engineering. This list will be continuously updated. If you are interested in one of the topics, please contact the related Proposer. Formal verification of...