Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Oliver Schön, Zhengang Zhong, Sadegh Soudjani	Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.	CoRR	2024	DBLP DOI BibTeX RDF
15	Juspreet Singh Sandhu, Jonathan Shi	A Sum-of-Squares Hierarchy in the Absence of Pointwise Proofs I: Energy Certificates.	CoRR	2024	DBLP DOI BibTeX RDF
15	Elisabeth Gaar, Melanie Siebenhofer	Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
15	Maria M. Davis, Dávid Papp	Rational dual certificates for weighted sums-of-squares polynomials with boundable bit size.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
15	Shixiong Yao, Pei Li, Jing Chen, Yuexing Zeng, Jiageng Chen, Donghui Wang	CD-BCM:Cross-Domain Batch Certificates Management Based On Blockchain.	Comput. J.	2024	DBLP DOI BibTeX RDF
15	Alaa Ibrahim, Bruno Salvy	Positivity Certificates for Linear Recurrences.	SODA	2024	DBLP DOI BibTeX RDF
15	Omid Akbarzadeh, Abolfazl Lavaei	Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks.	HSCC	2024	DBLP DOI BibTeX RDF
15	Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck	Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.	HSCC	2024	DBLP DOI BibTeX RDF
15	Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Closure Certificates.	HSCC	2024	DBLP DOI BibTeX RDF
15	Alexandre Augusto Giron, Frederico Schardong, Lucas Pandolfo Perin, Ricardo Custódio, Victor Valle, Víctor Mateu	Automated Issuance of Post-Quantum Certificates: A New Challenge.	ACNS (2)	2024	DBLP DOI BibTeX RDF
15	Amit Jena, Dileep Kalathil, Le Xie	Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems.	AAAI	2024	DBLP DOI BibTeX RDF
15	Alireza Nadali, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Neural Closure Certificates.	AAAI	2024	DBLP DOI BibTeX RDF
15	Sisi Duan, Haibin Zhang, Xiao Sui, Baohan Huang, Changchun Mu, Gang Di, Xiaoyun Wang	Dashing and Star: Byzantine Fault Tolerance with Weak Certificates.	EuroSys	2024	DBLP DOI BibTeX RDF
15	Ameneh Nejati, Majid Zamani 0001	Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
15	Laura Menini, Corrado Possieri, Antonio Tornambè	Exact Certificates for Strong Stabilization via Numerical Algebraic Geometry.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
15	Luigi Russo, Siddharth H. Nair, Luigi Glielmo, Francesco Borrelli	Learning for Online Mixed-Integer Model Predictive Control With Parametric Optimality Certificates.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
15	Zhengyao Lin, Xiaohong Chen 0002, Minh-Thai Trinh, John Wang, Grigore Rosu	Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Fernanda Molina, Gustavo Betarte, Carlos Luna 0001	A Blockchain based and GDPR-compliant design of a system for digital education certificates.	CLEI Electron. J.	2023	DBLP DOI BibTeX RDF
15	Elisa Tsai, Deepak Kumar, Ram Sundara Raman, Gavin Li, Yael Eiger, Roya Ensafi	CERTainty: Detecting DNS Manipulation at Scale using TLS Certificates.	Proc. Priv. Enhancing Technol.	2023	DBLP DOI BibTeX RDF
15	Abba Garba, David J. Khoury, Patrick Balian, Samir Haddad, Jinane Sayah, Zhong Chen 0001, Zhi Guan, Hani Hamdan, Jinan Charafeddine, Khalid Al Mutib	LightCert4IoTs: Blockchain-Based Lightweight Certificates Authentication for IoT Applications.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Manisha Malik, Kamaldeep, Maitreyee Dutta, Jorge Granjal	L-ECQV: Lightweight ECQV Implicit Certificates for Authentication in the Internet of Things.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Raúl Jaime Maestre, Javier Bermejo Higuera, Nadia Gámez Gómez, Juan Ramón Bermejo Higuera, Juan Antonio Sicilia Montalvo, Lara Orcos Palma	The application of blockchain algorithms to the management of education certificates.	Evol. Intell.	2023	DBLP DOI BibTeX RDF
15	Toshiyuki Oshima, Shunya Yamashita, Junya Yamauchi, Tatsuya Ibuki, Michio Seto, Takeshi Hatanaka	Loop-shaped distributed learning of an object with data-independent performance certificates.	Adv. Robotics	2023	DBLP DOI BibTeX RDF
15	Jens Friess, Haya Schulmann, Michael Waidner	Revocation Speedrun: How the WebPKI Copes with Fraudulent Certificates.	PACMNET	2023	DBLP DOI BibTeX RDF
15	Tao Jin, Jian Di, Xinghu Wang, Haibo Ji	Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
15	Riccardo Bertollo, Andrew R. Teel, Luca Zaccarian	Soft-Reset Control With Max-of-Quadratics Lyapunov Certificates.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
15	Charles Dawson 0001, Sicun Gao, Chuchu Fan	Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF
15	Nilanjan Roy Chowdhury, Dmitry Baimel, Juri Belikov, Yoash Levron	A Generalized Control Paradigm for Storage Systems: Optimal Energy Management and Stability Certificates.	IEEE Trans. Control. Syst. Technol.	2023	DBLP DOI BibTeX RDF
15	Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang	Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	T. J. Meijer, Victor S. Dolk, W. P. Maurice H. Heemels	Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Luigi Russo, Siddharth H. Nair, Luigi Glielmo, Francesco Borrelli	Learning for Online Mixed-Integer Model Predictive Control with Parametric Optimality Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alexandre Capone, Ryan K. Cosner, Aaron D. Ames, Sandra Hirche	Safe Online Dynamics Learning with Initially Unknown Models and Infeasible Safety Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Apoorva Sharma, Sushant Veer, Asher Hancock, Heng Yang, Marco Pavone 0001, Anirudha Majumdar	PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction.	CoRR	2023	DBLP DOI BibTeX RDF
15	Stefan Kambiz Behfar, Jon Crowcroft	Architecture of Smart Certificates for Web3 Applications Against Cyberthreats in Financial Industry.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tobias Winkler, Joost-Pieter Katoen	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.	CoRR	2023	DBLP DOI 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.	CoRR	2023	DBLP DOI BibTeX RDF
15	Elisa Tsai, Deepak Kumar, Ram Sundara Raman, Gavin Li, Yael Eiger, Roya Ensafi	CERTainty: Detecting DNS Manipulation at Scale using TLS Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tobias Winkler, Joost-Pieter Katoen	Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jan Schuchardt, Aleksandar Bojchevski, Johannes Gasteiger, Stephan Günnemann	Collective Robustness Certificates: Exploiting Interdependence in Graph Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Manuel Kauers, Christoph Koutschan, Thibaut Verron	Transcendence Certificates for D-finite Functions.	CoRR	2023	DBLP DOI BibTeX RDF
15	Pierre Osselin, Henry Kenlay, Xiaowen Dong 0001	Structure-Aware Robustness Certificates for Graph Classification.	CoRR	2023	DBLP DOI BibTeX RDF
15	Adrian Dumitrescu	Two-sided convexity testing with certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Abel C. H. Chen	The Pseudonymous Certificates for Healthcare Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Fernando Granha Jeronimo, Shashank Srivastava, Madhur Tulsiani	List Decoding of Tanner and Expander Amplified Codes from Distance Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alaa Ibrahim, Bruno Salvy	Positivity certificates for linear recurrences.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Closure Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan	Compositional Neural Certificates for Networked Dynamical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Fikret Basic, Christian Steger, Robert Kofler	Establishing Dynamic Secure Sessions for ECQV Implicit Certificates in Embedded Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Runtian Zhou, Haoze Wu 0001, Hammurabi Mendes, Jonad Pulaj	Verifying MILP Certificates with SMT Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei	Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Amit Jena, Dileep Kalathil, Le Xie	Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yanze Zhang, Yupeng Yang, Wenhao Luo	Occlusion-Free Image Based Visual Servoing using Probabilistic Control Barrier Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Gaspard Beugnot, Julien Mairal, Alessandro Rudi	GloptiNets: Scalable Non-Convex Optimization with Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Sandro Rodriguez Garzon, Hai Dinh-Tuan, Maria Mora-Martinez, Axel Küpper, Hans Joachim Einsiedler, Daniela Schneider	Beyond Certificates: 6G-ready Access Control for the Service-Based Architecture with Decentralized Identifiers and Verifiable Credentials.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
15	Chenxi Yang, Greg Anderson 0003, Swarat Chaudhuri	Policy Optimization with Robustness Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Marco Lewis, Paolo Zuliani, Sadegh Soudjani	Verification of Quantum Systems using Barrier Certificates.	CoRR	2023	DBLP DOI BibTeX RDF
15	Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds 0001, Cesare Tinelli, Yoni Zohar	Generating and Exploiting Automated Reasoning Proof Certificates.	Commun. ACM	2023	DBLP DOI BibTeX RDF
15	Jim Schaad	CBOR Object Signing and Encryption (COSE): Header Parameters for Carrying and Referencing X.509 Certificates.	RFC	2023	DBLP DOI BibTeX RDF
15	Stefan Santesson, Russ Housley, Trevor Freeman, Leonard Rosenthol	Internet X.509 Public Key Infrastructure: Logotypes in X.509 Certificates.	RFC	2023	DBLP DOI BibTeX RDF
15	Archana Yashodip Chaudhari, Preeti Mulay, Ayushi Agarwal, Krithika Iyer, Saloni Sarbhai	Text document learning using distributed incremental clustering algorithm: educational certificates.	Int. J. Bus. Intell. Data Min.	2023	DBLP DOI BibTeX RDF
15	Jerzy Pejas, Tomasz Hyla, Wojciech Zabierowski	Revocable Signature Scheme with Implicit and Explicit Certificates.	Entropy	2023	DBLP DOI BibTeX RDF
15	Alexandre Augusto Giron, Frederico Schardong, Lucas Pandolfo Perin, Ricardo Custódio, Victor Valle, Víctor Mateu	Automated Issuance of Post-Quantum Certificates: a New Challenge.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Maryam Sharifi, Dimos V. Dimarogonas	Higher Order Barrier Certificates for Leader-Follower Multiagent Systems.	IEEE Trans. Control. Netw. Syst.	2023	DBLP DOI BibTeX RDF
15	João Gouveia, Antonio Macchia, Amy Wiebe	General non-realizability certificates for spheres with linear programming.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
15	Victor Magron, Jie Wang 0037	SONC optimization and exact nonnegativity certificates via second-order cone programming.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
15	María A. Baamonde-Seoane, María del Carmen Calvo-Garrido, Carlos Vázquez 0002	Pricing renewable energy certificates with a Crank-Nicolson Lagrange-Galerkin numerical method.	J. Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
15	Nina Bindel, Sarah McCarthy	The Need for Being Explicit: Failed Attempts to Construct Implicit Certificates from Lattices.	Comput. J.	2023	DBLP DOI BibTeX RDF
15	Tobias Winkler, Joost-Pieter Katoen	ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration".		2023	DOI RDF
15	Antonio Javier Cabrera Gutiérrez, Encarnación Castillo, Antonio Escobar-Molero, Diego Pedro Morales, Luis Parrilla 0001	Blockchain-based implementation of Tradable Green Certificates.	PRIME	2023	DBLP DOI BibTeX RDF
15	Syed Muhammad Farhan, Taejoong Chung	Exploring the Evolution of TLS Certificates.	PAM	2023	DBLP DOI BibTeX RDF
15	Mounirah Djam-Doudou, Ado Adamou Abba Ari, Hortense Boudjou Tchapgnouo, Abdelhak Mourad Guéroui, Alidou Mohamadou, Nabila Labraoui, Ousmane Thiare	A Lightweight Authenticated Key Agreement Scheme for Resource-Constrained Devices Based on Implicit Certificates and Finite Graphs.	SAFER-TEA	2023	DBLP DOI BibTeX RDF
15	David A. Cordova Morales, Ahmad Samer Wazan, David W. Chadwick, Romain Laborde, April Rains Reyes Maramara, Kalil Cabral	Enhancing the ACME Protocol to Automate the Management of All X.509 Web Certificates.	SEC	2023	DBLP DOI BibTeX RDF
15	Shachar Lovett, Jiapeng Zhang	Fractional Certificates for Bounded Functions.	ITCS	2023	DBLP DOI BibTeX RDF
15	Yuki Ishida, Masaki Hanada, Atsushi Waseda, Moo Wan Kim	Analysis of DNS Graph of Phishing Websites Using Digital Certificates.	ICACT	2023	DBLP DOI BibTeX RDF
15	Takahito Yoshizawa, Bart Preneel	Post-Quantum Impacts on V2X Certificates - Already at The End of The Road.	VTC2023-Spring	2023	DBLP DOI BibTeX RDF
15	David Hasselquist, Ludvig Bolin, Emil Carlsson, Adam Hylander, Martin Larsson, Erik Voldstad, Niklas Carlsson	Longitudinal Analysis of Wildcard Certificates in the WebPKI.	IFIP Networking	2023	DBLP DOI BibTeX RDF
15	Fikret Basic, Christian Steger, Robert Kofler	Establishing Dynamic Secure Sessions for ECQV Implicit Certificates in Embedded Systems.	DATE	2023	DBLP DOI BibTeX RDF
15	Marco Lewis, Paolo Zuliani, Sadegh Soudjani	Verification of Quantum Systems Using Barrier Certificates.	QEST	2023	DBLP DOI BibTeX RDF
15	Anja Lorenz, Stefanie Bock, Juleka Schulte-Ostermann	Challenges and Proposals for Introducing Digital Certificates in Higher Education Infrastructures.	EMOOCs	2023	DBLP DOI BibTeX RDF
15	Tobias Winkler, Joost-Pieter Katoen	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.	LICS	2023	DBLP DOI BibTeX RDF
15	Fernando Granha Jeronimo, Shashank Srivastava, Madhur Tulsiani	List Decoding of Tanner and Expander Amplified Codes from Distance Certificates.	FOCS	2023	DBLP DOI BibTeX RDF
15	Pierre Osselin, Henry Kenlay, Xiaowen Dong 0001	Structure-aware robustness certificates for graph classification.	UAI	2023	DBLP BibTeX RDF
15	Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers	Characterization of the ordering of path-complete stability certificates with addition-closed templates.	HSCC	2023	DBLP DOI BibTeX RDF
15	Luyao Niu, Andrew Clark 0001, Radha Poovendran	Necessary and Sufficient Conditions for Satisfying Linear Temporal Logic Constraints Using Control Barrier Certificates.	CDC	2023	DBLP DOI BibTeX RDF
15	Alireza Nadali, Ashutosh Trivedi 0001, Majid Zamani 0001	Transfer Learning for Barrier Certificates.	CDC	2023	DBLP DOI BibTeX RDF
15	Alexandre Mauroy, Aivar Sootla	Estimation of Regions of Attraction with Formal Certificates in a Purely Data-Driven Setting.	CDC	2023	DBLP DOI BibTeX RDF
15	Dañiel Gerhardt, Alexander Ponticello, Adrian Dabrowski, Katharina Krombholz	Investigating Verification Behavior and Perceptions of Visual Digital Certificates.	USENIX Security Symposium	2023	DBLP BibTeX RDF
15	Nariyoshi Yamai, Yong Jin, Toshio Murakami, Rei Nakagawa	Verification Method of Associated Domain Names Using Certificates by Applying DNS over TLS to Authoritative Servers.	COMPSAC	2023	DBLP DOI BibTeX RDF
15	Toshio Murakami, Kenta Shimabukuro, Nao Sato, Rei Nakagawa, Yong Jin, Nariyoshi Yamai	Trustworthy Name Resolution Using TLS Certificates with DoT-enabled Authoritative DNS Servers.	COMPSAC	2023	DBLP DOI BibTeX RDF
15	Huiqing Wan, Qiongxiao Wang, Cunqing Ma, Yajun Teng, Jingqiang Lin, Dingfeng Ye	ESCORT: Efficient Status Check and Revocation Transparency for Linkage-Based Pseudonym Certificates in VANETs.	ISCC	2023	DBLP DOI BibTeX RDF
15	Aozhuo Sun, Bingyu Li, Qiongxiao Wang, Huiqing Wan, Jingqiang Lin, Wei Wang 0314	Semi-CT: Certificates Transparent to Identity Owners but Opaque to Snoopers.	ISCC	2023	DBLP DOI BibTeX RDF
15	Kyaw Hein, Dominique Bertin, Justine Yuan, Huajun Zhang 0008, Victor Maquart, Edouard Lavillonniere	Optimal Operation of Green Hydrogen Generation Plant with Solar PV, Renewable Energy Certificates and Virtual Battery Ledger.	IECON	2023	DBLP DOI BibTeX RDF
15	Maryam Sharifi, Dimos V. Dimarogonas	Platoons Coordination Based on Decentralized Higher Order Barrier Certificates.	MED	2023	DBLP DOI BibTeX RDF
15	John F. Ingham, Yujiang Wang 0002, Paolo Zuliani, Sadegh Soudjani	Barrier Certificates for a Computational Model of Epileptic Seizures.	SMC	2023	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic	A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.	TACAS (1)	2023	DBLP DOI BibTeX RDF
15	Tobias Winkler, Joost-Pieter Katoen	Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.	TACAS (2)	2023	DBLP DOI BibTeX RDF
15	Huiqing Wan, Qiongxiao Wang, Yajun Teng, Cunqing Ma, Jingqiang Lin, Mingyu Wang	ImCT: A Feasible Scheme for Deploying Implicit Certificates with Certificate Transparency in IoT.	ICCCN	2023	DBLP DOI BibTeX RDF
15	Pascal Moriggl, Petra Maria Asprion, Bettina Schneider, Christopher Scherb	Touching Space: Distributed Ledger Technology for Tracking and Tracing Certificates.	HICSS	2023	DBLP BibTeX RDF
15	Zhuoqun Huang, Neil G. Marchant, Keane Lucas, Lujo Bauer, Olga Ohrimenko, Benjamin I. P. Rubinstein	RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion.	NeurIPS	2023	DBLP BibTeX RDF