Paulo Silva

Cryptography and Information Security

Post Doc Researcher (email)

Publications

Estevez E, Cledou MG, Janowski T. 2013. Electronic Participation - Framework.

Estevez E, Cledou MG, Janowski T. 2013. Electronic Participation - Toolkit.

« first
‹ previous
…
76
77
78
79
80
81
82
83
84

Announcements
Bio
Links
Presentations
Publications
Software

Tags

Calculational proofs (1)
CAO language (3)
Compiler (1)
Constraints (1)
Cryptography Implementations (3)
Data refinement (1)
DSL (4)
Equational Reasoning (1)
Fork algebras (2)
Formal Language Specification (1)
GADT (2)
Galculator (1)
Galois connections (4)
Haskell (4)
Indirect equality (1)
Invariants (1)
Point-free notation (1)
Point-free program transformation (1)
program calculation (1)
Proof Assistant (3)
Relation algebras (1)
Schema transformation (1)
SQL (1)
Strategic term rewriting (4)
Tools for Cryptography (1)
Type Soundness Proof (1)
Type System (2)
VDM (1)

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.

Powered by OpenScholar