Search Sciweavers | Sciweavers

4731 search results - page 34 / 947

» Securing Interactive Programs

click to vote

ICASSP
2008
IEEE

103views Signal Processing» more ICASSP 2008»

An interactive hybrid programming approach to signals and systems laboratory

14 years 3 months ago

Download www.utdallas.edu

Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...

Nasser D. Kehtarnavaz, Philip Loizou, Mohammad Rah...

claim paper

Read More »

click to vote

CCS
2011
ACM

193views Security Privacy» more CCS 2011»

Automatically optimizing secure computation

12 years 8 months ago

Download www.fkerschbaum.org

On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have signiﬁcantly simpliﬁed the development of such protocols. On the other hand, ...

Florian Kerschbaum

claim paper

Read More »

click to vote

POPL
1998
ACM

111views Programming Languages» more POPL 1998»

The SLam Calculus: Programming with Secrecy and Integrity

14 years 29 days ago

Download www.cs.cornell.edu

The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...

Nevin Heintze, Jon G. Riecke

claim paper

Read More »

click to vote

CHI
2008
ACM

112views Human Computer Interaction» more CHI 2008»

Human, organizational, and technological factors of IT security

14 years 9 months ago