Sciweavers

961 search results - page 48 / 193
» Visual Cryptography on Graphs
Sort
View
111
Voted
WISE
2000
Springer
15 years 9 months ago
Visualization of Web-based Workspace Structures
Web-based collaboration is becoming increasingly common. Often such collaboration exhibits emergent characteristics, for which systems based on a notion of workspaces provide suit...
Robert P. Biuk-Aghai
142
Voted
STOC
1990
ACM
93views Algorithms» more  STOC 1990»
15 years 9 months ago
Perfect Zero-Knowledge in Constant Rounds
Quadratic residuosity and graph isomorphism are classic problems and the canonical examples of zero-knowledge languages. However, despite much research e ort, all previous zerokno...
Mihir Bellare, Silvio Micali, Rafail Ostrovsky
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 11 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
154
Voted
COCOON
1999
Springer
15 years 9 months ago
Area Minimization for Grid Visibility Representation of Hierarchically Planar Graphs
Abstract. Hierarchical graphs are an important class of graphs for modelling many real applications in software and information visualization. In this paper, we shall investigate t...
Xuemin Lin, Peter Eades
155
Voted
ECEASST
2006
72views more  ECEASST 2006»
15 years 5 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...