際際滷shows by User: PauloSilva289 / http://www.slideshare.net/images/logo.gif 際際滷shows by User: PauloSilva289 / Mon, 14 Apr 2014 10:48:23 GMT 際際滷Share feed for 際際滷shows by User: PauloSilva289 Compiling CAO: From Cryptographic Specifications to C Implementations /slideshow/post14/33506422 post14-140414104823-phpapp01
Tool demo presented at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France).]]>
Tool demo presented at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France).]]> Mon, 14 Apr 2014 10:48:23 GMT /slideshow/post14/33506422 PauloSilva289@slideshare.net(PauloSilva289) Compiling CAO: From Cryptographic Specifications to C Implementations PauloSilva289 Tool demo presented at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France). <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/post14-140414104823-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Tool demo presented at POST14 (part of ETAPS 2014: 5-13 April 2014, Grenoble, France).
Compiling CAO: From Cryptographic Specifications to C Implementations from Paulo Silva
]]> 352 2 https://cdn.slidesharecdn.com/ss_thumbnails/post14-140414104823-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Galois: A Language for Proofs Using Galois Connections and Fork Algebras /slideshow/galois-a-language/28464415 plmms09-131120143430-phpapp01
Presented at PLMMS'09, Munich, Germany in August 21, 2011.]]>
Presented at PLMMS'09, Munich, Germany in August 21, 2011.]]> Wed, 20 Nov 2013 14:34:29 GMT /slideshow/galois-a-language/28464415 PauloSilva289@slideshare.net(PauloSilva289) Galois: A Language for Proofs Using Galois Connections and Fork Algebras PauloSilva289 Presented at PLMMS'09, Munich, Germany in August 21, 2011. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/plmms09-131120143430-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at PLMMS&#39;09, Munich, Germany in August 21, 2011.
Galois: A Language for Proofs Using Galois Connections and Fork Algebras from Paulo Silva
]]> 607 7 https://cdn.slidesharecdn.com/ss_thumbnails/plmms09-131120143430-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 On the Design of a Galculator /slideshow/on-the-design-of-a-galculator-28464245/28464245 cic09-131120142937-phpapp02
Presented at CIC09, Braga, Portugal in May 7-8, 2009.]]>
Presented at CIC09, Braga, Portugal in May 7-8, 2009.]]> Wed, 20 Nov 2013 14:29:37 GMT /slideshow/on-the-design-of-a-galculator-28464245/28464245 PauloSilva289@slideshare.net(PauloSilva289) On the Design of a Galculator PauloSilva289 Presented at CIC09, Braga, Portugal in May 7-8, 2009. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cic09-131120142937-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at CIC09, Braga, Portugal in May 7-8, 2009.
On the Design of a Galculator from Paulo Silva
]]> 528 2 https://cdn.slidesharecdn.com/ss_thumbnails/cic09-131120142937-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Galculator: Functional Prototype of a Galois-connection Based Proof Assistant /slideshow/ppdp08/28464063 ppdp08-131120142222-phpapp02
Presented at PPDP'08, Valencia, Spain in July 15-17, 2008.]]>
Presented at PPDP'08, Valencia, Spain in July 15-17, 2008.]]> Wed, 20 Nov 2013 14:22:22 GMT /slideshow/ppdp08/28464063 PauloSilva289@slideshare.net(PauloSilva289) Galculator: Functional Prototype of a Galois-connection Based Proof Assistant PauloSilva289 Presented at PPDP'08, Valencia, Spain in July 15-17, 2008. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ppdp08-131120142222-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at PPDP&#39;08, Valencia, Spain in July 15-17, 2008.
Galculator: Functional Prototype of a Galois-connection Based Proof Assistant from Paulo Silva
]]> 349 5 https://cdn.slidesharecdn.com/ss_thumbnails/ppdp08-131120142222-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 On the Design of a Galculator /slideshow/on-the-design-of-a-galculator/28463750 slides-131120141126-phpapp01
Presentated at PhD Defense, Guimar達es, Portugal in November 16, 2009.]]>
Presentated at PhD Defense, Guimar達es, Portugal in November 16, 2009.]]> Wed, 20 Nov 2013 14:11:26 GMT /slideshow/on-the-design-of-a-galculator/28463750 PauloSilva289@slideshare.net(PauloSilva289) On the Design of a Galculator PauloSilva289 Presentated at PhD Defense, Guimar達es, Portugal in November 16, 2009. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/slides-131120141126-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presentated at PhD Defense, Guimar達es, Portugal in November 16, 2009.
On the Design of a Galculator from Paulo Silva
]]> 193 2 https://cdn.slidesharecdn.com/ss_thumbnails/slides-131120141126-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Dependent Types for Cryptography Implementations /slideshow/has-lab/28463594 haslab-131120140455-phpapp01
Presented as HASLab Seminar Series, Braga, Portugal in June 14, 2011.]]>
Presented as HASLab Seminar Series, Braga, Portugal in June 14, 2011.]]> Wed, 20 Nov 2013 14:04:55 GMT /slideshow/has-lab/28463594 PauloSilva289@slideshare.net(PauloSilva289) Dependent Types for Cryptography Implementations PauloSilva289 Presented as HASLab Seminar Series, Braga, Portugal in June 14, 2011. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/haslab-131120140455-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented as HASLab Seminar Series, Braga, Portugal in June 14, 2011.
Dependent Types for Cryptography Implementations from Paulo Silva
]]> 326 2 https://cdn.slidesharecdn.com/ss_thumbnails/haslab-131120140455-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Machine Assisted Verification Tools for Cryptography /slideshow/net-scip/28463053 net-scip-131120134342-phpapp02
Presented at Second Meeting: NET-SCIP Workshop on Security, Porto, Portugal in October 13, 2010.]]>
Presented at Second Meeting: NET-SCIP Workshop on Security, Porto, Portugal in October 13, 2010.]]> Wed, 20 Nov 2013 13:43:42 GMT /slideshow/net-scip/28463053 PauloSilva289@slideshare.net(PauloSilva289) Machine Assisted Verification Tools for Cryptography PauloSilva289 Presented at Second Meeting: NET-SCIP Workshop on Security, Porto, Portugal in October 13, 2010. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/net-scip-131120134342-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at Second Meeting: NET-SCIP Workshop on Security, Porto, Portugal in October 13, 2010.
Machine Assisted Verification Tools for Cryptography from Paulo Silva
]]> 326 2 https://cdn.slidesharecdn.com/ss_thumbnails/net-scip-131120134342-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-PauloSilva289-48x48.jpg?cb=1523703995 I am a Post-Doc researcher at the HASLab group of the Informatics Department of University of Minho. I am currently working in the BestCase project where my objective is to further improve the CAO language framework, a Domain Specific Language (DSL) developed in previous projects. This language is aimed at writing cryptographic software in a higher abstraction level which is then transformed and compiled to the C language, while preserving the overall safety properties. My personal view is that mathematical reasoning and techniques are essential to avoid software errors and to produce high-quality source code. However, I think that this will not be possible without the development of t... haslab.uminho.pt/pfsilva/ https://cdn.slidesharecdn.com/ss_thumbnails/post14-140414104823-phpapp01-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/post14/33506422 Compiling CAO: From Cr... https://cdn.slidesharecdn.com/ss_thumbnails/plmms09-131120143430-phpapp01-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/galois-a-language/28464415 Galois: A Language for... https://cdn.slidesharecdn.com/ss_thumbnails/cic09-131120142937-phpapp02-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/on-the-design-of-a-galculator-28464245/28464245 On the Design of a Gal...