scholarly journals Editorial for Special Issue on the Theory and Practice of Differential Privacy 2018

2020 ◽  
Vol 10 (1) ◽  
Author(s):  
Aleksandar Nikolov ◽  
Lars Vilhuber
Keyword(s):  
Computer Security ◽  
Differential Privacy ◽  
Theory And Practice ◽  
Special Issue

This special issue  includes selected contributions from the 4th Workshop on Theory and Practice of Differential Privacy, which was held in Toronto, Canada on 15 October 2018 as part of the ACM Conference on Computer Security (CCS).

scholarly journals Editorial for Volume 9 Issue 2

2019 ◽  
Vol 9 (2) ◽  
Author(s):  
Jonathan Ullman ◽  
Lars Vilhuber
Keyword(s):  
Social Sciences ◽  
Computer Security ◽  
Programming Languages ◽  
Differential Privacy ◽  
Census Bureau ◽  
Theory And Practice ◽  
Mining Machine ◽  
Special Issue ◽  
Worst Case ◽  
High Degree

Differential privacy is a promising approach to privacy-preserving data analysis that provides strong worst-case guarantees about the harm that a user could suffer from contributing their data, but is also flexible enough to allow for a wide variety of data analyses to be performed with a high degree of utility. Researchers in differential privacy span many distinct research communities, including algorithms, computer security, cryptography, databases, data mining, machine learning, statistics, programming languages, social sciences, and law. Two articles in this issue describe applications of differentially private, or nearly differentially private, algorithms to data from the U.S. Census Bureau. A  third article highlights a thorny issue that applies to all implementations of differential privacy: how to choose the key privacy parameter ε, This special issue also includes selected contributions from the 3rd Workshop on Theory and Practice of Differential Privacy, which was held in Dallas, TX on October 30, 2017 as part of the ACM Conference on Computer Security (CCS).

scholarly journals Special Issue on the Theory and Practice of Differential Privacy

2017 ◽  
Vol 7 (2) ◽  
Author(s):  
Marco Gaboardi ◽  
Chris J. Skinner
Keyword(s):  
Data Analysis ◽  
Programming Languages ◽  
Differential Privacy ◽  
International Workshop ◽  
Theory And Practice ◽  
Release Mechanism ◽  
Special Issue ◽  
Research Areas ◽  
Recent Developments ◽  
Definition Of

This special issue presents papers based on contributions to the first international workshop on the “Theory and Practice of Differential Privacy” (TPDP) held in London, UK, 18 April 2015, as part of the European joint conference on Theory And Practice of Software (ETAPS). Differential privacy is a mathematically rigorous definition of the privacy protection provided by a data release mechanism: it offers a strong guaranteed bound on what can be learned about a user as a result of participating in a differentially private data analysis. Researchers in differential privacy come from several areas of computer science, including algorithms, programming languages, security, databases and machine learning, as well as from several areas of statistics and data analysis. The workshop was intended to be an occasion for researchers from these different research areas to discuss the recent developments in the theory and practice of differential privacy. The program of the workshop included 10 contributed talks, 1 invited speaker and 1 joint invited speaker with the workshop “Hot Issues in Security Principles and Trust” (HotSpot 2016). Participants at the workshop were invited to submit papers to this special issue. Six papers were accepted, most of which directly reflect talks presented at the workshop

scholarly journals Expansion, perspectives, and challenges

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Lars Vilhuber
Keyword(s):  
Computer Security ◽  
Differential Privacy ◽  
Privacy Preserving ◽  
Theory And Practice ◽  
Present Issue ◽  
Large Expansion ◽  
Diverse Community ◽  
Privacy And Confidentiality ◽  
New Phase

The present issue heralds a new phase for the Journal. In our ongoing efforts to provide a forum for a diverse community interested in privacy and confidentiality, we welcome a large expansion of the editorial board. We also introduce not one, but two new sections to the Journal. Perspectives are shorter articles, possibly somewhat opiniated, typically clustered around a same theme. The section on Privacy Challenges encompasses articles that describe practical implementations of privacy-preserving algorithms from a variety of competitions, starting with the NIST PSCR Challenge from 2018-2019. As every year, we also publish select contributions from the Workshop on Theory and Practice of Differential Privacy, which in 2019 was held in London, UK as part of the ACM Conference on Computer Security (CCS).

Concluding Thoughts and Challenges

2011 ◽  
Vol 25 (3) ◽  
pp. 569-575 ◽  
Author(s):  
Michael J. Palenchar
Keyword(s):  
Public Relations ◽  
Strategic Communication ◽  
Theory And Practice ◽  
Issues Management ◽  
Special Issue ◽  
Organizational Rhetoric ◽  
Management Communication ◽  
Stakeholder Interests ◽  
Self Interest ◽  
Socially Relevant

This special issue of Management Communication Quarterly mines the rhetorical heritage to explore the challenges facing those who engage in and critique external organizational rhetoric, setting its sights on helping organizations make society a better place to live. Toward this end, rhetoric focuses on strategic communication influences that at their best result from or foster collaborative decisions and cocreated meaning that align stakeholder interests. This special issue demonstrates the eclectic and complex theories, applied contexts, and ongoing arguments needed to weave the fabric of external organizational communication. Over the years, Robert Heath and others have been advocates for drawing judiciously on the rhetorical heritage as guiding foundation for issues management and public relations activities. Rather than merely acknowledge the pragmatic or utilitarian role of discourse, this analysis also aspires to understand and champion its application to socially relevant ends. In that quest, several themes stand out: (a) In theory and practice external organizational rhetoric weighs self-interest against others’ enlightened interests and choices; (b) organizations as modern rhetors engage in discourse that is context relevant and judged by the quality of engagement and the ends achieved thereby; and (c) in theory and practice external organizational rhetoric weighs relationship between language that is never neutral and the power advanced for narrow or shared interests.

scholarly journals Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

2010 ◽  
Vol 46 (3-4) ◽  
pp. 223-224
Author(s):  
Lujo Bauer ◽  
Sandro Etalle ◽  
Jerry den Hartog ◽  
Luca Viganò
Keyword(s):  
Computer Security ◽  
Automated Reasoning ◽  
Special Issue

#Playrevolution: Engaging Equity through the Power of Play

2021 ◽  
Vol 123 (3) ◽  
pp. 1-7
Author(s):  
Jaye Johnson Thiel ◽  
Karen Wohlwend
Keyword(s):  
United States ◽  
Teacher Education ◽  
High Schools ◽  
Video Games ◽  
Educational Equity ◽  
Rapid Change ◽  
The United States ◽  
Theory And Practice ◽  
Special Issue ◽  
Education Courses

This special issue continues a two-year conversation about a #playrevolution in literacies research, theory, and practice. The juxtaposition of play and revolution is intentional, highlighting the tension between play's prosocial benefits and collaborative production and the rapid change, uncertainty, and violence in today's schools, where we desperately need more humanizing elements that build people's connections to one another. The #playrevolution calls educators and researchers to explore the (un)predictable, (un)expected knots emerging through the coalescence of play and literacies, while also considering the possibilities play holds for educational equity in contemporary times. Bringing together twelve educational researchers across the United States, Canada, and Australia, this #playrevolution special issue explores the lively ecology of play-literacies in a variety of spaces—traditional writing and storytelling workshops, digital dialogues, video games, teacher-education courses, makerspaces, and playgrounds—with learners from preschools and kindergartens to high schools and universities.

CALL FOR PAPERS Journal of Functional Programming Special Issue on Theorem Provers and Functional Programming

1997 ◽  
Vol 7 (1) ◽  
pp. 125-126
Author(s):  
Tom Melham
Keyword(s):  
Interface Design ◽  
Functional Programming ◽  
Type Systems ◽  
Theory And Practice ◽  
Theorem Prover ◽  
Functional Languages ◽  
Special Issue ◽  
Theorem Provers ◽  
Problems And Solutions ◽  
Submission Deadline

A special issue of the Journal of Functional Programming will be devoted to the use of functional programming in theorem proving. The submission deadline is 31 August 1997.The histories of theorem provers and functional languages have been deeply intertwined since the advent of Lisp. A notable example is the ML family of languages, which are named for the meta language devised for the LCF theorem prover, and which provide both the implementation platform and interaction facilities for numerous later systems (such as Coq, HOL, Isabelle, NuPrl). Other examples include Lisp (as used for ACL2, PVS, Nqthm) and Haskell (as used for Veritas).This special issue is devoted to the theory and practice of using functional languages to implement theorem provers and using theorem provers to reason about functional languages. Topics of interest include, but are not limited to:– architecture of theorem prover implementations– interface design in the functional context– limits of the LCF methodology– impact of host language features– type systems– lazy vs strict languages– imperative (impure) features– performance problems and solutions– problems of scale– special implementation techniques– term representations (e.g. de Bruijn vs name carrying vs BDDs)– limitations of current functional languages– mechanised theories of functional programming

Sign in / Sign up

Export Citation Format

Share Document