Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Supporting component presence notifications in software developmentPalacio, Ramon R. ; Padilla, German ; Moran, Alberto L. ; Cortez, Joaquin ; Vizcaino, AuroraProceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.235-240IEEETexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
An environment to support the discovery of potential partners in a research groupAlves, Tatiana P. V. ; Borges, Marcos R. S. ; Vivacqua, Adriana S.Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.344-349IEEETexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Formalisation and implementation of the XACML access control mechanismMasi, Massimiliano ; Pugliese, Rosario ; Tiezzi, Francesco Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.60-74 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Application-Replay attack on java cards: when the garbage collector gets confusedBarbu, Guillaume ; Hoogvorst, Philippe ; Duc, Guillaume Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.1-13 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Plagiarizing smartphone applications: attack strategies and defense techniquesPotharaju, Rahul ; Newell, Andrew ; Nita-Rotaru, Cristina ; Zhang, Xiangyu Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.106-120 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Hunting application-level logical errorsStergiopoulos, George ; Tsoumas, Bill ; Gritzalis, Dimitris Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.135-142 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Optimal trust mining and computing on keyed mapreduceZhu, Huafei Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.143-150 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Runtime enforcement of information flow security in tree manipulating processesKov$#225;cs, M$#225;té ; Seidl, Helmut Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.46-59 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A sound decision procedure for the compositionality of secrecyOchoa, Martín ; Jürjens, Jan ; Warzecha, Daniel Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.97-105 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Challenges in implementing an end-to-end secure protocol for java ME-Based mobile data collection in low-budget settingsGejibo, Samson ; Mancini, Federico ; Mughal, Khalid A. ; Valvik, Remi ; Klungsøyr, Jørn Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, BenjaminEngineering Secure Software and Systems, 2012, p.38-45 [Periódico revisado por pares]Berlin, Heidelberg: Springer-VerlagTexto completo disponível |