878 search results - page 81 / 176 » A Compiler-Based Approach to Data Security |
155
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
134
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Data sharing on public servers has become a popular service on the Internet, in which users can store and share data with other users through public servers. However, because the ...
149
Voted
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
149
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
107
click to vote
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a large number of research papers and standards dedicated to security for outsourced data. Yet, most papers propose new controls to access and protect the data rather tha...