Sciweavers

143 search results - page 3 / 29
» A Solution to Open Standard of PKI
Sort
View
ICSE
2012
IEEE-ACM
11 years 10 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
IDTRUST
2009
ACM
14 years 2 months ago
Usable trust anchor management
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
Massimiliano Pala, Scott A. Rea
EUROCRYPT
2008
Springer
13 years 9 months ago
Isolated Proofs of Knowledge and Isolated Zero Knowledge
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...
Ivan Damgård, Jesper Buus Nielsen, Daniel Wi...
ICMCS
2007
IEEE
94views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Interoperability Issues in DRM and DMP Solutions
This paper presents an ongoing Digital Right Management (DRM) standard: Digital Media Project (DMP), which is active as an interoperable DRM solution in recent three years. We sta...
Xiaofan Chen, Tiejun Huang
IWSOC
2005
IEEE
121views Hardware» more  IWSOC 2005»
14 years 1 months ago
Open HW, Open Design SW, and the VC Ecosystem Dilemma
The open model for solutions development is quickly extending from software to other technology areas, such as hardware and services. Specifically, just as open source has spawned...
Juan Antonio Carballo