Christian Skalka

Joseph P. Near

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2022

Secret Sharing Sharing For Highly Scalable Secure Aggregation.

[BibT_eX]

[DOI]

Timothy Stevens

Joseph P. Near

CoRR, 2022

Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors.

[BibT_eX]

[DOI]

Proceedings of the 31st USENIX Security Symposium, 2022

2020

Maybe tainted data: Theory and a case study.

[BibT_eX]

[DOI]

Sepehr Amir-Mohammadian

Samuel Clark

J. Comput. Secur., 2020

Types and Abstract Interpretation for Authorization Hook Advice.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Proof-Carrying Network Code.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

ACCESSPROV: Tracking the Provenance of Access Control Decisions.

[BibT_eX]

[DOI]

Frank Capobianco

Trent Jaeger

Proceedings of the 9th USENIX Workshop on the Theory and Practice of Provenance, 2017

On Risk in Access Control Enforcement.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Life on the Edge: Unraveling Policies into Configurations.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

2016

Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature - PPSN XIV, 2016

Correct Audit Logging: Theory and Practice.

[BibT_eX]

[DOI]

Sepehr Amir-Mohammadian

Stephen Chong

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

In-Depth Enforcement of Dynamic Integrity Taint Analysis.

[BibT_eX]

[DOI]

Sepehr Amir-Mohammadian

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Self-Identifying Data for Fair Use.

[BibT_eX]

[DOI]

Stephen Chong

Jeffrey A. Vaughan

ACM J. Data Inf. Qual., 2015

A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems.

[BibT_eX]

[DOI]

Afsoon Yousefi Zowj

Josh C. Bongard

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2014

2013

Snowcloud: A Complete Data Gathering System for Snow Hydrology Research.

[BibT_eX]

[DOI]

Jeffrey Frolik

Proceedings of the Real-World Wireless Sensor Networks, 2013

Scalaness/nesT: type specialized staged programming for sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2011

Type-specialized staged programming with process separation.

[BibT_eX]

[DOI]

Yu David Liu

High. Order Symb. Comput., 2011

2010

SpartanRPC: Secure WSN middleware for cooperating domains.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Self-identifying sensor data.

[BibT_eX]

[DOI]

Stephen Chong

Jeffrey A. Vaughan

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2008

Types and trace effects for object orientation.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2008

Types and trace effects of higher order programs.

[BibT_eX]

[DOI]

David Van Horn

J. Funct. Program., 2008

Authorization in trust management: Features and foundations.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2008

2007

Risk management for distributed authorization.

[BibT_eX]

[DOI]

J. Comput. Secur., 2007

Type safe dynamic linking for JVM access control.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

[BibT_eX]

[DOI]

Paritosh Shroff

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Trust but verify: Authorization for web services.

[BibT_eX]

Comput. Syst. Sci. Eng., 2006

Specifying distributed trust management in LolliMon.

[BibT_eX]

[DOI]

Jeff Polakow

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

2005

A systematic approach to static access control.

[BibT_eX]

[DOI]

François Pottier

ACM Trans. Program. Lang. Syst., 2005

Static use-based object confinement.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Programming Languages and Systems Security.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2005

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).

[BibT_eX]

[DOI]

David Van Horn

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Trace effects and object orientation.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Risk assessment in distributed authorization.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

2004

History Effects and Verification.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2002

Set Types and Applications.

[BibT_eX]

[DOI]

Proceedings of the International Workshop in Types in Programming, 2002

Syntactic Type Soundness for HM(X).

[BibT_eX]

[DOI]

François Pottier

Proceedings of the International Workshop in Types in Programming, 2002

2000

Static enforcement of security with types.

[BibT_eX]

[DOI]