Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Apoorva Sharma, Sushant Veer, Asher Hancock, Heng Yang, Marco Pavone, Anirudha Majumdar	PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction.	NeurIPS	2023	DBLP BibTeX RDF
15	Gaspard Beugnot, Julien Mairal, Alessandro Rudi	GloptiNets: Scalable Non-Convex Optimization with Certificates.	NeurIPS	2023	DBLP BibTeX RDF
15	Esther Mugdan, Remo Christen, Salomé Eriksson	Optimality Certificates for Classical Planning.	ICAPS	2023	DBLP DOI BibTeX RDF
15	Felix Härer	Scalable Model-Based Decentralized Applications in the Cloud Using Certificates and Blockchains.	PKIA	2023	DBLP DOI BibTeX RDF
15	Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan	Compositional Neural Certificates for Networked Dynamical Systems.	L4DC	2023	DBLP BibTeX RDF
15	Nikola Jovanovic 0001, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev	FARE: Provably Fair Representation Learning with Practical Certificates.	ICML	2023	DBLP BibTeX RDF
15	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	Proofs and Certificates for Max-SAT (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
15	Andrew Chi, Brandon Enright, David A. McGrew	Detecting Weak Keys in Manufacturing Certificates: A Case Study.	ACSAC	2023	DBLP DOI BibTeX RDF
15	Zane Ma, Aaron Faulkenberry, Thomas Papastergiou, Zakir Durumeric, Michael D. Bailey, Angelos D. Keromytis, Fabian Monrose, Manos Antonakakis	Stale TLS Certificates: Investigating Precarious Third-Party Access to Valid TLS Keys.	IMC	2023	DBLP DOI BibTeX RDF
15	Manuel Kauers, Christoph Koutschan, Thibaut Verron	Transcendence Certificates for D-finite Functions.	ISSAC	2023	DBLP DOI BibTeX RDF
15	Filippo Fabiani, Kostas Margellos, Paul J. Goulart	Probabilistic Stabilizability Certificates for a Class of Black-Box Linear Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Pouria Tooranjipour, Bahare Kiumarsi	Designing Safety Certificates for H∞ Control of Unknown Linear Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001	Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper	Subcubic certificates for CFL reachability.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
15	Zi-Yuan Liu, Yi-Fan Tseng, Raylin Tso, Peter Shaojui Wang, Qin-Wen Su	Extension of elliptic curve Qu-Vanstone certificates and their applications.	J. Inf. Secur. Appl.	2022	DBLP DOI BibTeX RDF
15	Secil Ercan, Marwane Ayaida, Nadhir Messai	An enhanced pseudonym certificates distribution mechanism for connected vehicles.	Int. J. Commun. Syst.	2022	DBLP DOI BibTeX RDF
15	Lili Zhang 0003, Guang-Hong Yang	Secure Adaptive Trajectory Tracking Control for Nonlinear Robot Systems Under Multiple Dynamic Obstacles: Safety Barrier Certificates.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
15	Maryam Zulfiqar, Muhammad Umar Janjua, Muhammad Hassan 0001, Talha Ahmad, Tania Saleem, Jack W. Stokes	Tracking adoption of revocation and cryptographic features in X.509 certificates.	Int. J. Inf. Sec.	2022	DBLP DOI BibTeX RDF
15	Rosa Pericàs-Gornals, Macià Mut Puigserver, María Magdalena Payeras Capellà	Highly private blockchain-based management system for digital COVID-19 certificates.	Int. J. Inf. Sec.	2022	DBLP DOI BibTeX RDF
15	Haoqiang Jiang, Catherine Chen	Data Science Skills and Graduate Certificates: A Quantitative Text Analysis.	J. Comput. Inf. Syst.	2022	DBLP DOI BibTeX RDF
15	Maria M. Davis, Dávid Papp	Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets.	SIAM J. Optim.	2022	DBLP DOI BibTeX RDF
15	Marvin Kowalewski, Franziska Herbert, Theodor Schnitzler, Markus Dürmuth	Proof-of-Vax: Studying User Preferences and Perception of Covid Vaccination Certificates.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
15	Erukala Suresh Babu, B. K. N. Srinivasarao, Ilaiah Kavati, Mekala Srinivasa Rao	Verifiable Authentication and Issuance of Academic Certificates Using Permissioned Blockchain Network.	Int. J. Inf. Secur. Priv.	2022	DBLP DOI BibTeX RDF
15	Yanjun Zuo	Tokenizing Renewable Energy Certificates (RECs) - A Blockchain Approach for REC Issuance and Trading.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Noura Alnuaimi, Alanoud Almemari, Mohammad Moussa Madine, Khaled Salah 0001, Hamda Al Breiki, Raja Jayaraman	NFT Certificates and Proof of Delivery for Fine Jewelry and Gemstones.	IEEE Access	2022	DBLP DOI BibTeX RDF
15	Ana Beduschi	Taking stock of COVID-19 health status certificates: Legal implications for data privacy and human rights.	Big Data Soc.	2022	DBLP DOI BibTeX RDF
15	Xiaowu Yang, Xiaoping Fan, Fei Long, Ganrong Li	Safety control using barrier certificates for multiagent systems with input saturation and formation constraints.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
15	Charles Dawson 0001, Bethany Lowenkamp, Dylan Goff, Chuchu Fan	Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
15	Mahathi Anand, Abolfazl Lavaei, Majid Zamani 0001	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
15	Zecheng Li, Haotian Wu 0001, Ricky Lap-Hou Lao, Songtao Guo, Yuanyuan Yang 0001, Bin Xiao 0001	Pistis: Issuing Trusted and Authorized Certificates With Distributed Ledger and TEE.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
15	Matthieu Py, Mohamed Sami Cherif, Djamal Habet	Proofs and Certificates for Max-SAT.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
15	Shachar Lovett, Jiapeng Zhang	Fractional certificates for bounded functions.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
15	Qingye Zhao, Yi Zhang, Xuandong Li	Safe reinforcement learning for dynamical systems using barrier certificates.	Connect. Sci.	2022	DBLP DOI BibTeX RDF
15	Ameneh Nejati, Majid Zamani 0001	From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.	Leibniz Trans. Embed. Syst.	2022	DBLP DOI BibTeX RDF
15	Shikun Zhang, Yan Shvartzshnaider, Yuanyuan Feng, Helen Nissenbaum, Norman M. Sadeh	Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates.	CoRR	2022	DBLP DOI BibTeX RDF
15	Julien Klaus, Niklas Merk, Konstantin Wiedom, Sören Laue, Joachim Giesen	Convexity Certificates from Hessians.	CoRR	2022	DBLP DOI BibTeX RDF
15	Blake E. Woodworth, Francis R. Bach, Alessandro Rudi	Non-Convex Optimization with Certificates and Fast Rates Through Kernel Sums of Squares.	CoRR	2022	DBLP DOI BibTeX RDF
15	Haotian Zheng, Haitong Ma, Sifa Zheng, Shengbo Eben Li, Jianqiang Wang 0003	Synthesize Efficient Safety Certificates for Learning-Based Safe Control using Magnitude Regularization.	CoRR	2022	DBLP DOI BibTeX RDF
15	Marcin Nawrocki, Pouyan Fotouhi Tehrani, Raphael Hiesgen, Jonas Mücke, Thomas C. Schmidt, Matthias Wählisch	On the Interplay between TLS Certificates and QUIC Performance.	CoRR	2022	DBLP DOI BibTeX RDF
15	Charles Dawson 0001, Bethany Lowenkamp, Dylan Goff, Chuchu Fan	Learning Safe, Generalizable Perception-based Hybrid Control with Certificates.	CoRR	2022	DBLP BibTeX RDF
15	Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen	Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.	CoRR	2022	DBLP DOI BibTeX RDF
15	Paul Mangold, Michaël Perrot, Aurélien Bellet, Marc Tommasi	Fairness Certificates for Differentially Private Classification.	CoRR	2022	DBLP DOI BibTeX RDF
15	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number.	CoRR	2022	DBLP DOI BibTeX RDF
15	Yun Ho Choi, Doik Kim	Red Light, Green Light Game of Multi-Robot Systems with Safety Barrier Certificates.	CoRR	2022	DBLP BibTeX RDF
15	Charles Dawson 0001, Sicun Gao, Chuchu Fan	Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods.	CoRR	2022	DBLP BibTeX RDF
15	Marcel Bezdrighin, Michael Elkin, Mohsen Ghaffari 0001, Christoph Grunau, Bernhard Haeupler, Saeed Ilchi, Václav Rozhon	Deterministic Distributed Sparse and Ultra-Sparse Spanners and Connectivity Certificates.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jan Schuchardt, Stephan Günnemann	Invariance-Aware Randomized Smoothing Certificates.	CoRR	2022	DBLP DOI BibTeX RDF
15	Xiongfei Zhao, Yain-Whar Si	NFTCert: NFT-Based Certificates With Online Payment Gateway.	CoRR	2022	DBLP BibTeX RDF
15	Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli	Safety Barrier Certificates for Stochastic Hybrid Systems.	CoRR	2022	DBLP DOI BibTeX RDF
15	Rupa Chiramdasu, Divya MidhunChakkarvarthy, Rizwan Patan, Ande Bhanu Prakash, G. S. Pradeep Ghantasala	Knowledge engineering-based DApp using blockchain technology for protract medical certificates privacy.	IET Commun.	2022	DBLP DOI BibTeX RDF
15	Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron	Positivity certificates and polynomial optimization on non-compact semialgebraic sets.	Math. Program.	2022	DBLP DOI BibTeX RDF
15	Telikepalli Kavitha, Tamás Király, Jannik Matuschke, Ildikó Schlotter, Ulrike Schmidt-Kraepelin	Popular branchings and their dual certificates.	Math. Program.	2022	DBLP DOI BibTeX RDF
15	Michael Jenkins, Sean Turner	Secure Object Delivery Protocol (SODP) Server Interfaces: NSA's Profile for Delivery of Certificates, Certificate Revocation Lists (CRLs), and Symmetric Keys to Clients.	RFC	2022	DBLP DOI BibTeX RDF
15	Daniel Kahn Gillmor	S/MIME Example Keys and Certificates.	RFC	2022	DBLP DOI BibTeX RDF
15	Mohit Sethi, John Preuß Mattsson, Sean Turner	Handling Large Certificates and Long Certificate Chains in TLS-Based EAP Methods.	RFC	2022	DBLP DOI BibTeX RDF
15	Zhaokang Lu, Jianzhu Lu	Secure and Efficient Implicit Certificates: Improving the Performance for Host Identity Protocol in IoT.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Sisi Duan, Haibin Zhang, Xiao Sui, Baohan Huang, Changchun Mu, Gang Di, Xiaoyun Wang	Byzantine Fault Tolerance from Weak Certificates.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Tim Güneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha	Proof-of-possession for KEM certificates using verifiable generation.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
15	Raphaëlle Toubiana, Millie Macdonald, Sivananda Rajananda, Tale Lokvenec, Thomas C. Kingsley, Santiago Romero-Brufau	Blockchain for Electronic Vaccine Certificates: More Cons Than Pros?	Frontiers Big Data	2022	DBLP DOI BibTeX RDF
15	Nader Motee, Qiyu Sun	Localized Stability Certificates for Spatially Distributed Systems over Sparse Proximity Graphs.	SIAM J. Control. Optim.	2022	DBLP DOI BibTeX RDF
15	Amin Gholami, Xu Andy Sun	Stability of Multimicrogrids: New Certificates, Distributed Control, and Braess's Paradox.	IEEE Trans. Control. Netw. Syst.	2022	DBLP DOI BibTeX RDF
15	Isabel Coutinho, Bruno Martins 0001	Transformer-based models for ICD-10 coding of death certificates with Portuguese text.	J. Biomed. Informatics	2022	DBLP DOI BibTeX RDF
15	Tareq Hamadneh, Ibraheem Abu-Falahah, Mohammad Alqudah	Numerical optimization and positivity certificates for polynomials and rationals over simplices.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
15	Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen	Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Amal Abid 0002, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel	NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates.	Softw. Pract. Exp.	2022	DBLP DOI BibTeX RDF
15	Ahmad Samer Wazan, Romain Laborde, David W. Chadwick, Rémi Venant, Abdelmalek Benzekri, Eddie Billoir, Omar Alfandi	On the Validation of Web X.509 Certificates by TLS Interception Products.	IEEE Trans. Dependable Secur. Comput.	2022	DBLP DOI BibTeX RDF
15	Marcos A. Simplício Jr., Eduardo Lopes Cominetti, Marcos Vinicius Maciel da Silva	Message verification with ECDSA: ECVQ vs SIMPL certificates.		2022	DOI RDF
15	Haoran Ma	Research on the Impact of Cancelling the linkage between Bachelor Degree Certificates and with CET-4 Score: - - Take Tianjin Agricultural University as an Example.	ICBDE	2022	DBLP DOI BibTeX RDF
15	Abdulrahman Alabduljabbar, Runyu Ma, Soohyeon Choi, Rhongho Jang, Songqing Chen, David Mohaisen	Understanding the Security of Free Content Websites by Analyzing their SSL Certificates: A Comparative Study.	CySSS@AsiaCCS	2022	DBLP DOI BibTeX RDF
15	Tim Güneysu, Philip W. Hodges, Georg Land, Mike Ounsworth, Douglas Stebila, Greg Zaverucha	Proof-of-Possession for KEM Certificates using Verifiable Generation.	CCS	2022	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic	Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.	CAV (1)	2022	DBLP DOI BibTeX RDF
15	Marc Fischer 0002, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh 0001, Martin T. Vechev	Shared Certificates for Neural Network Verification.	CAV (1)	2022	DBLP DOI BibTeX RDF
15	Pouria Tooranjipour, Bahare Kiumarsi	Constructing Safety Barrier Certificates for Unknown Linear Optimal Control Systems.	ICCA	2022	DBLP DOI BibTeX RDF
15	Harry Halpin	A Critique of EU Digital COVID-19 Certificates: Do Vaccine Passports Endanger Privacy?	ARES	2022	DBLP DOI BibTeX RDF
15	Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli	Safety Barrier Certificates for Stochastic Hybrid Systems.	ACC	2022	DBLP DOI BibTeX RDF
15	Mahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	k-Inductive Barrier Certificates for Stochastic Systems.	HSCC	2022	DBLP DOI BibTeX RDF
15	Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001	Verification of approximate infinite-step opacity using barrier certificates.	ECC	2022	DBLP DOI BibTeX RDF
15	Guangshen Cheng, Jiankuo Dong, Xinyi Ji, Bingyu Li, Haoling Fan, Pinchang Zhang	PEPEC: Precomputed ECC Points Embedded in Certificates and Verified by CT Log Servers.	ACNS Workshops	2022	DBLP DOI BibTeX RDF
15	Muhammad Ali Al-Radhawi	Graphical Construction of Stability Certificates for Biomolecular Interaction Networks.	CDC	2022	DBLP DOI BibTeX RDF
15	Shahriar Talebi, Mehran Mesbahi	Riemannian Constrained Policy Optimization via Geometric Stability Certificates∗.	CDC	2022	DBLP DOI BibTeX RDF
15	James Conners, Corey Devenport, Stephen Derbidge, Natalie Farnsworth, Kyler Gates, Stephen Lambert, Christopher McClain, Parker Nichols, Daniel Zappala	Let's Authenticate: Automated Certificates for User Authentication.	NDSS	2022	DBLP BibTeX RDF
15	Wei-Tek Tsai, Weijing Xiang, Shuai Wang, Enyan Deng	A New Digital-Currency Model Based on Certificates.	SmartCom	2022	DBLP DOI BibTeX RDF
15	Fikret Basic, Christian Steger, Robert Kofler	Poster: Establishing Dynamic Secure Sessions for Intra-Vehicle Communication Using Implicit Certificates.	EWSN	2022	DBLP BibTeX RDF
15	Leysan Nurgalieva, Seamus Ryan, Andreas Balaskas, Janne Lindqvist, Gavin Doherty	Public Views on Digital COVID-19 Certificates: a Mixed Methods User Study.	CHI	2022	DBLP DOI BibTeX RDF
15	Marcin Nawrocki, Pouyan Fotouhi Tehrani, Raphael Hiesgen, Jonas Mücke, Thomas C. Schmidt, Matthias Wählisch	On the interplay between TLS certificates and QUIC performance.	CoNEXT	2022	DBLP DOI BibTeX RDF
15	Franziska Herbert, Marvin Kowalewski, Theodor Schnitzler, Leona Lassak, Markus Dürmuth	"Fast, Easy, Convenient." Studying Adoption and Perception of Digital Covid Certificates.	SOUPS @ USENIX Security Symposium	2022	DBLP BibTeX RDF
15	Sajad Homayoun, Kaspar Hageman, Sam Afzal-Houshmand, Christian Damsgaard Jensen, Jens Myrup Pedersen	Detecting Ambiguous Phishing Certificates using Machine Learning.	ICOIN	2022	DBLP DOI BibTeX RDF
15	Julien Klaus, Niklas Merk, Konstantin Wiedom, Sören Laue, Joachim Giesen	Convexity Certificates from Hessians.	NeurIPS	2022	DBLP BibTeX RDF
15	Yan Scholten, Jan Schuchardt, Simon Geisler, Aleksandar Bojchevski, Stephan Günnemann	Randomized Message-Interception Smoothing: Gray-box Certificates for Graph Neural Networks.	NeurIPS	2022	DBLP BibTeX RDF
15	Jan Schuchardt, Stephan Günnemann	Invariance-Aware Randomized Smoothing Certificates.	NeurIPS	2022	DBLP BibTeX RDF
15	Blake E. Woodworth, Francis R. Bach, Alessandro Rudi	Non-Convex Optimization with Certificates and Fast Rates Through Kernel Sums of Squares.	COLT	2022	DBLP BibTeX RDF
15	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random.	STOC	2022	DBLP DOI BibTeX RDF
15	Charalampos Bampalas, Konstantinos Rantos	Blockchain-based vaccination certificates management.	PCI	2022	DBLP DOI BibTeX RDF
15	Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar	Bypassing the XOR Trick: Stronger Certificates for Hypergraph Clique Number.	APPROX/RANDOM	2022	DBLP DOI BibTeX RDF
15	Shikun Zhang, Yan Shvartzshnaider, Yuanyuan Feng, Helen Nissenbaum, Norman Sadeh 0001	Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates.	FAccT	2022	DBLP DOI BibTeX RDF
15	Diogo Melim, António Trigo	EduCert - Blockchain-Based Management Information System for Issuing and Validating Academic Certificates.	EMCIS	2022	DBLP DOI BibTeX RDF
15	Tzung-Pei Hong, Wei-Chou Chen, Chih-Hung Wu, Bo-Wen Xiao, Bing-Yang Chiang, Zhi-Xun Shen	Information Extraction and Analysis on Certificates and Medical Receipts.	ICCE	2022	DBLP DOI BibTeX RDF
15	Saber Jafarpour, Matthew Abate, Alexander Davydov 0001, Francesco Bullo, Samuel Coogan 0001	Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach.	L4DC	2022	DBLP BibTeX RDF
15	Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani 0001	Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.	L4DC	2022	DBLP BibTeX RDF