Zobrazeno 1 - 10
of 122
pro vyhledávání: '"R Marczak"'
Autor:
Nicholas Weaver, Andrew McGregor, William R. Marczak, Phillipa Gill, Sahand Farhoodi, Arian Akhavan Niaki
Publikováno v:
Passive and Active Measurement ISBN: 9783030725815
PAM
PAM
DNS cache probing infers whether users of a DNS resolver have recently issued a query for a domain name, by determining whether the corresponding resource record (RR) is present in the resolver’s cache. The most common method involves performing DN
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c63a17a7ad6b19b60a433553ae9844a
https://doi.org/10.1007/978-3-030-72582-2_25
https://doi.org/10.1007/978-3-030-72582-2_25
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vern Paxson, William R. Marczak
Publikováno v:
Proceedings on Privacy Enhancing Technologies, Vol 2017, Iss 2, Pp 172-185 (2017)
New methods of dissident surveillance employed by repressive nation-states increasingly involve socially engineering targets into unwitting cooperation (e.g., by convincing them to open a malicious attachment or link). While a fair amount is understo
Autor:
Harjot Gill, Matt Blaze, Boon Thau Loo, Micah Sherr, William R. Marczak, Soundararajan Saravana, Taher Saeed, Wenchao Zhou, Andrew Mao
Publikováno v:
Computer Networks. 58:206-227
This paper presents the design and implementation of Application-Aware Anonymity (A^3), an extensible platform for rapidly prototyping and evaluating anonymity protocols on the Internet. A^3 supports the development of highly tunable anonymous protoc
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b0e9c013bf3321c80852acc8d4b79b6
http://hdl.handle.net/1942/21332
http://hdl.handle.net/1942/21332
Publikováno v:
SoCC
In recent years there has been interest in achieving application-level consistency criteria without the latency and availability costs of strongly consistent storage infrastructure. A standard technique is to adopt a vocabulary of commutative operati
Publikováno v:
DBTest
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that describe the input/output behavior of a software module. Test specifications a
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642329241
Datalog
Datalog
Building on recent interest in distributed logic programming, we take a model-theoretic approach to analyzing confluence of asynchronous distributed programs. We begin with a model-theoretic semantics for Dedalus and introduce the ultimate model, whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::caa75571bc74c419fc7a5eb1779035fa
https://doi.org/10.1007/978-3-642-32925-8_14
https://doi.org/10.1007/978-3-642-32925-8_14
Autor:
Wenchao Zhou, Boon Thau Loo, Micah Sherr, Changbin Liu, Harjot Gill, Anduo Wang, William R. Marczak, Yun Mao
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783642276934
PADL
PADL
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a dataflow framework for execution. This paper describes recent advances i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58bd36c93be6da5e2221d5c3f00d06fb
https://doi.org/10.1007/978-3-642-27694-1_1
https://doi.org/10.1007/978-3-642-27694-1_1