Sciweavers

2897 search results - page 219 / 580
» Mobile Code Security
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Secrecy and Authenticity Types for Secure Distributed Messaging
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
Michele Bugliesi, Stefano Calzavara, Damiano Maced...
ICMCS
2007
IEEE
79views Multimedia» more  ICMCS 2007»
16 years 26 days ago
Pop Music Beat Detection in the Huffman Coded Domain
This paper presents a novel beat detector that operates in the Huffman coded domain of a MP3 audio bitstream. We seek to answer two main questions. First, whether it is possible t...
Jia Zhu, Ye Wang
DARE
2000
182views more  DARE 2000»
15 years 8 months ago
CyberCode: designing augmented reality environments with visual tags
The CyberCode is a visual tagging system based on a 2Dbarcode technology and provides several features not provided by other tagging systems. CyberCode tags can be recognized by t...
Jun Rekimoto, Yuji Ayatsuka
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Secure Transmission with Multiple Antennas II: The MIMOME Wiretap Channel
The capacity of the Gaussian wiretap channel model is analyzed when there are multiple antennas at the sender, intended receiver and eavesdropper. The associated channel matrices a...
Ashish Khisti, Gregory W. Wornell
HICSS
2011
IEEE
196views Biometrics» more  HICSS 2011»
14 years 10 months ago
XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
Amit Vasudevan, Ning Qu, Adrian Perrig