Sciweavers

118 search results - page 2 / 24
» Transforming Out Timing Leaks
Sort
View
CCS
2010
ACM
13 years 5 months ago
Sidebuster: automated detection and quantification of side-channel leaks in web application development
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
Kehuan Zhang, Zhou Li, Rui Wang 0010, XiaoFeng Wan...
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
13 years 9 months ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
13 years 9 months ago
Translating Out of Static Single Assignment Form
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gi...
VLDB
2007
ACM
108views Database» more  VLDB 2007»
14 years 5 months ago
Time Series Compressibility and Privacy
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
Spiros Papadimitriou, Feifei Li, George Kollios, P...
ICIAR
2009
Springer
13 years 3 months ago
Real-Time Image-Based Motion Detection Using Color and Structure
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...
Manali Chakraborty, Olac Fuentes