Sciweavers

32032 search results - page 110 / 6407

» Verified programming in Guru

110

Voted

ISCI
2010

79views more ISCI 2010»

Strong (n, t, n) verifiable secret sharing scheme

15 years 4 months ago

Strong (n, t, n) verifiable secret sharing scheme

Download h.web.umkc.edu

Lein Harn, Changlu Lin

claim paper

Read More »

126

Voted

VSTTE
2010
Springer

124views Software Engineering» more VSTTE 2010»

The L4.verified Project - Next Steps

15 years 4 months ago

The L4.verified Project - Next Steps

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

117

Voted

WOTE
2010

114views Emerging Technology» more WOTE 2010»

A Verifiable Voting Protocol Based on Farnel

15 years 3 months ago

A Verifiable Voting Protocol Based on Farnel

Download research.microsoft.com

Roberto Araujo, Ricardo Felipe Custódio, Je...

claim paper

Read More »

120

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 3 months ago

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

131

Voted

CJ
2010

139views more CJ 2010»

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

15 years 3 months ago

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

Download www.cs.unicam.it

Roberto Barbuti, Nicoletta De Francesco, Luca Tese...

claim paper

Read More »

« Prev « First page 110 / 6407 Last » Next »