Sciweavers

108 search results - page 10 / 22
» From Sound Sampling To Song Sampling
Sort
View
CCS
2009
ACM
16 years 18 days ago
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Cédric Fournet, Gurvan Le Guernic, Tamara R...
153
Voted
ICASSP
2009
IEEE
16 years 17 days ago
Underdetermined audio source separation from anechoic mixtures with long time delay
We propose a technique to separate audio sources from their anechoic mixtures with long delay in an underdetermined setting (i.e., the number of audio sensors is smaller than that...
Namgook Cho, C.-C. Jay Kuo
MMS
2007
15 years 5 months ago
Automatic lyrics alignment for Cantonese popular music
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
Chi Hang Wong, Wai Man Szeto, Kin Hong Wong
NDSS
2008
IEEE
16 years 6 days ago
HookFinder: Identifying and Understanding Malware Hooking Behaviors
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to def...
Heng Yin, Zhenkai Liang, Dawn Song
160
Voted
CSFW
2010
IEEE
15 years 9 months ago
Towards a Formal Foundation of Web Security
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
Devdatta Akhawe, Adam Barth, Peifung E. Lam, John ...