Search results for "Certificates"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard	Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix.	ISSAC	2016	DBLP DOI BibTeX RDF
15	Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz	Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems.	ISSAC	2016	DBLP DOI BibTeX RDF
15	Lars Noschinski	Formalizing Graph Theory and Planarity Certificates (Formalisierung von Graphentheorie und Planaritätszertifikaten) (PDF / PS)		2016	RDF
15	Paolo Serafini	Certificates of optimality for minimum norm biproportional apportionments.	Soc. Choice Welf.	2015	DBLP DOI BibTeX RDF
15	Yanjun Liu 0002, Chin-Chen Chang 0001, Chin-Yu Sun	A Secure and Efficient Scheme for Digital Gift Certificates.	J. Inf. Hiding Multim. Signal Process.	2015	DBLP BibTeX RDF
15	Zakaria Chihani, Dale Miller 0001	Proof Certificates for Equality Reasoning.	LSFA	2015	DBLP DOI BibTeX RDF
15	Daisuke Okamoto, Keita Kawano, Nariyoshi Yamai, Tokumi Yokohira	Strict Application Execution Control with Hierarchical Group Management Using Digital Certificates on Educational Windows PCs.	J. Inf. Process.	2015	DBLP DOI BibTeX RDF
15	Johanna Amann, Robin Sommer, Matthias Vallentin, Seth Hall	To Trust, or not to Trust, that is the Question: Structural Properties of X.509 Certificates.	Tiny Trans. Comput. Sci.	2015	DBLP BibTeX RDF
15	Jeffrey Duncan, Scott P. Narus, Stephen Clyde, Karen Eilbeck, Sidney N. Thornton, Catherine J. Staes	Birth of identity: understanding changes to birth certificates and their value for identity resolution.	J. Am. Medical Informatics Assoc.	2015	DBLP DOI BibTeX RDF
15	Bevan Koopman, Guido Zuccon, Anthony N. Nguyen, Anton Bergheim, Narelle Grayson	Automatic ICD-10 classification of cancers from free-text death certificates.	Int. J. Medical Informatics	2015	DBLP DOI BibTeX RDF
15	Karl-Peter Fuchs, Dominik Herrmann, Andrea Micheloni, Hannes Federrath	Laribus: privacy-preserving detection of fake SSL certificates with a social P2P notary network.	EURASIP J. Inf. Secur.	2015	DBLP DOI BibTeX RDF
15	Roberto Blanco, Dale Miller 0001	Proof Outlines as Proof Certificates: A System Description.	WoF'15	2015	DBLP DOI BibTeX RDF
15		A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates.	CoRR	2015	DBLP BibTeX RDF
15	Quentin Heath, Dale Miller 0001	A framework for proof certificates in finite state exploration.	PxTP@CADE	2015	DBLP DOI BibTeX RDF
15	Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi	Robust static anti-windup augmentation with probabilistic certificates.	CoRR	2015	DBLP BibTeX RDF
15	Yki Kortesniemi, Timo Kiravuo, Mikko Särelä, Hannu H. Kari	Chain reduction of authorisation certificates.	Int. J. Secur. Networks	2015	DBLP DOI BibTeX RDF
15	Bevan Koopman, Sarvnaz Karimi, Anthony N. Nguyen, Rhydwyn McGuire, David Muscatello, Madonna Kemp, Donna Truran, Ming Zhang, Sarah Thackway	Automatic classification of diseases from free-text death certificates for real-time surveillance.	BMC Medical Informatics Decis. Mak.	2015	DBLP DOI BibTeX RDF
15	D. Thakore	Transport Layer Security (TLS) Authorization Using Digital Transmission Content Protection (DTCP) Certificates.	RFC	2015	DBLP DOI BibTeX RDF
15	Xiaojing Gu, Xingsheng Gu	On the Detection of Fake Certificates via Attribute Correlation.	Entropy	2015	DBLP DOI BibTeX RDF
15	Marc Nicodeme, Flavius Turcu, Charles Dossal	Optimal Dual Certificates for Noise Robustness Bounds in Compressive Sensing.	J. Math. Imaging Vis.	2015	DBLP DOI BibTeX RDF
15	Yu-Hao Chuang, Chien-Lung Hsu, Wesley Shu, Kevin C. Hsu, Min-Wen Liao	A Secure Non-interactive Deniable Authentication Protocol with Certificates Based on Elliptic Curve Cryptography.	New Trends in Intelligent Information and Database Systems	2015	DBLP DOI BibTeX RDF
15	Marko Gaj, Nik Bessis, Lu Liu 0001	Introducing Auto Generated Certificates to Rank Wireless Home Network Security.	3PGCIC	2015	DBLP DOI BibTeX RDF
15	Min Zheng, Hui Xue 0003, Yulong Zhang, Tao Wei, John C. S. Lui	Enpublic Apps: Security Threats Using iOS Enterprise and Developer Certificates.	AsiaCCS	2015	DBLP DOI BibTeX RDF
15	Kevin Körner, Thomas Walter 0002, Michael Menth	Data Freshness for Non-Trusted Environments Using Disposable Certificates.	SCC@ASIACCS	2015	DBLP DOI BibTeX RDF
15	Zheng Dong, Apu Kapadia, Jim Blythe, L. Jean Camp	Beyond the lock icon: real-time detection of phishing websites using public key certificates.	eCrime	2015	DBLP DOI BibTeX RDF
15	Michael Feiri, Rolf Pielage, Jonathan Petit, Nicola Zannone, Frank Kargl	Pre-Distribution of Certificates for Pseudonymous Broadcast Authentication in VANET.	VTC Spring	2015	DBLP DOI BibTeX RDF
15	Tiago Amorim 0001, Alejandra Ruiz 0001, Christoph Dropmann, Daniel Schneider 0001	Multidirectional Modular Conditional Safety Certificates.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
15	Xuanchong Li, Kai-min Chang, Yueran Yuan, Alexander G. Hauptmann	Massive Open Online Proctor: Protecting the Credibility of MOOCs certificates.	CSCW	2015	DBLP DOI BibTeX RDF
15	Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi	Certificates for Parameterized Model Checking.	FM	2015	DBLP DOI BibTeX RDF
15	Sebastian Bittl, Berke Aydinli, Karsten Roscher	Distribution of Pseudonym Certificates via Bursts for VANETs with Low and Medium Mobility.	WMNC	2015	DBLP DOI BibTeX RDF
15	Hamza Fawzi, James Saunderson, Pablo A. Parrilo	Sparse sum-of-squares certificates on finite abelian groups.	CDC	2015	DBLP DOI BibTeX RDF
15	Arwa Alrawais, Abdulrahman Alhothaily, Xiuzhen Cheng 0001	X.509 Check: A Tool to Check the Safety and Security of Digital Certificates.	IIKI	2015	DBLP DOI BibTeX RDF
15	Urs Borrmann, Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Control Barrier Certificates for Safe Swarm Behavior.	ADHS	2015	DBLP DOI BibTeX RDF
15	Savio Sciancalepore, Angelo Capossele, Giuseppe Piro, Gennaro Boggia, Giuseppe Bianchi 0001	Key Management Protocol with Implicit Certificates for IoT systems.	IoT-Sys@MobiSys	2015	DBLP DOI BibTeX RDF
15	Florian Reimair, Peter Teufl, Bernd Prünster	In Certificates We Trust - Revisited.	TrustCom/BigDataSE/ISPA (1)	2015	DBLP DOI BibTeX RDF
15	Thomas Sternagel, Sarah Winkler, Harald Zankl	Recording Completion for Certificates in Equational Reasoning.	CPP	2015	DBLP DOI BibTeX RDF
15	Jacob S. Tripp, Jeffrey Duncan, Leisa Finch, Stanley M. Huff	Completing Death Certificates from an EMR: Analysis of a Novel Public-Private Partnership.	AMIA	2015	DBLP BibTeX RDF
15	Jesús A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson	Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases.	ISSAC	2015	DBLP DOI BibTeX RDF
15	Minghui Liu	Elementary reformulation and succinct certificates in conic linear programming.		2015	DOI RDF
15	Dmitry Chistikov 0001, Valentina Fedorova, Andrey A. Voronenko	Certificates of Non-Membership for Classes of Read-Once Functions.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
15	Ranjie Mo, Graham Farr, Kerri Morgan	Certificates for Properties of Stability Polynomials of Graphs.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
15	Jianyun Lei, Yanhong Li	Distributed Certificates Chain Searching Algorithms Based on Trustworthy.	J. Multim.	2014	DBLP DOI BibTeX RDF
15	Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa	Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches.	IEEE Trans. Autom. Control.	2014	DBLP DOI BibTeX RDF
15	Mohammed Almulla, Qingwei Zhang, Azzedine Boukerche, Yonglin Ren	An efficient k-Means authentication scheme for digital certificates revocation validation in vehicular ad hoc networks.	Wirel. Commun. Mob. Comput.	2014	DBLP DOI BibTeX RDF
15	Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski	Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.	CoRR	2014	DBLP BibTeX RDF
15	Jean-Guillaume Dumas, Erich L. Kaltofen	Essentially optimal interactive certificates in linear algebra.	CoRR	2014	DBLP BibTeX RDF
15	Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi	Scenario optimization with certificates and applications to anti-windup design.	CoRR	2014	DBLP BibTeX RDF
15	Yaoyu Wang, Yitong Yin	Certificates in Data Structures.	CoRR	2014	DBLP BibTeX RDF
15	Andrew L. Newton, Geoff Huston	Policy Qualifiers in Resource Public Key Infrastructure (RPKI) Certificates.	RFC	2014	DBLP DOI BibTeX RDF
15	Tahani Gazdar, Abderrahim Benslimane, Abdelfettah Belghith, Abderrezak Rachedi	A secure cluster-based architecture for certificates management in vehicular networks.	Secur. Commun. Networks	2014	DBLP DOI BibTeX RDF
15	Thomas Kunz, Annika Selzer, Ulrich Waldmann	Automatic Data Protection Certificates for Cloud-Services based on Secure Logging.	Trusted Cloud Computing	2014	DBLP DOI BibTeX RDF
15	Andreas Mayer, Vladislav Mladenov, Jörg Schwenk, Florian Feldmann, Christopher Meyer	Strengthening Web Authentication through TLS - Beyond TLS Client Certificates.	Open Identity Summit	2014	DBLP BibTeX RDF
15	Lucjan Hanzlik, Kamil Kluczniak	A Short Paper on How to Improve U-Prove Using Self-Blindable Certificates.	Financial Cryptography	2014	DBLP DOI BibTeX RDF
15	Henning Perl, Sascha Fahl, Matthew Smith 0001	You Won't Be Needing These Any More: On Removing Unused Certificates from Trust Stores.	Financial Cryptography	2014	DBLP DOI BibTeX RDF
15	Michael W. Otte, Joshua Bialkowski, Emilio Frazzoli	Any-com collision checking: Sharing certificates in decentralized multi-robot teams.	ICRA	2014	DBLP DOI BibTeX RDF
15	Jens Bache	The VP Project (1981-1983): Dematerializing Millions of Danish Bond Certificates.	History of Nordic Computing	2014	DBLP DOI BibTeX RDF
15	Radha Jagadeesan, C. M. Lubinski, Corin Pitcher, James Riely, Charles Winebrinner	Certificates for Verifiable Forensics.	CSF	2014	DBLP DOI BibTeX RDF
15	Yaoyu Wang, Yitong Yin	Certificates in Data Structures.	ICALP (1)	2014	DBLP DOI BibTeX RDF
15	Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi	Scenario optimization with certificates and applications to anti-windup design.	CDC	2014	DBLP DOI BibTeX RDF
15	Alexander Baumeister, Claudia Floren	Do Extracurricular Certificates Boost University Graduates' Job Entry? Evaluating the Impact of SAP TERP10 Courses.	ICIS	2014	DBLP BibTeX RDF
15	Tomasz Hyla, Witold Mackow, Jerzy Pejas	Implicit and Explicit Certificates-Based Encryption Scheme.	CISIM	2014	DBLP DOI BibTeX RDF
15	Lin-Shung Huang, Alex Rice, Erling Ellingsen, Collin Jackson	Analyzing Forged SSL Certificates in the Wild.	IEEE Symposium on Security and Privacy	2014	DBLP DOI BibTeX RDF
15	Dumitru Daniel Dinu, Mihai Togan	DHCP server authentication using digital certificates.	COMM	2014	DBLP DOI BibTeX RDF
15	Jean-Guillaume Dumas, Erich L. Kaltofen	Essentially optimal interactive certificates in linear algebra.	ISSAC	2014	DBLP DOI BibTeX RDF
15	Kim Quyen Ly	Automated verification of termination certificates. (Vérification automatique de certificats de terminaison).		2014	RDF
15	Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001, Jiaguang Sun 0001	A Unified Framework for DPLL(T) + Certificates.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
15	Hehua Li, Chunling Wu	Study on the Application of Digital Certificates in the Protection of Network Information Security and Data Integrity.	J. Networks	2013	DBLP DOI BibTeX RDF
15	Alexis Fouilhé, David Monniaux, Michaël Périn	Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra	CoRR	2013	DBLP BibTeX RDF
15	B. S. Kochkarev	Proof of the hypothesis Edmonds's, not polynomial of NPC-problems and classification of the problems with polynomial certificates	CoRR	2013	DBLP BibTeX RDF
15	Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan	Barrier Certificates Revisited.	CoRR	2013	DBLP BibTeX RDF
15	Marco Anisetti, Claudio A. Ardagna, Michele Bezzi, Ernesto Damiani, Antonino Sabetta	Machine-Readable Privacy Certificates for Services.	CoRR	2013	DBLP BibTeX RDF
15	Simon Wimmer 0001, Lars Noschinski	Pratt's Primality Certificates.	Arch. Formal Proofs	2013	DBLP BibTeX RDF
15	Martin Nordio, Cristiano Calcagno, Bertrand Meyer 0001	Certificates and Separation Logic.	TGC	2013	DBLP DOI BibTeX RDF
15	Marcel Selhorst, Carsten Schwarz	Cloud-based provisioning of qualified certificates for the German ID card.	Open Identity Summit	2013	DBLP BibTeX RDF
15	Marioli Montenegro, Antonio Mana	Improving Interoperability of Digital Certificates for Software & Services.	SERVICES	2013	DBLP DOI BibTeX RDF
15	Kai-Min Chung, Huijia Lin, Rafael Pass	Constant-Round Concurrent Zero Knowledge from P-Certificates.	FOCS	2013	DBLP DOI BibTeX RDF
15	Andrea Micheloni, Karl-Peter Fuchs, Dominik Herrmann, Hannes Federrath	Laribus: Privacy-Preserving Detection of Fake SSL Certificates with a Social P2P Notary Network.	ARES	2013	DBLP DOI BibTeX RDF
15	Kostas Margellos, Vahab Rostampour, Maria Vrakopoulou, Maria Prandini, Göran Andersson, John Lygeros	Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates.	ECC	2013	DBLP DOI BibTeX RDF
15	Marco Anisetti, Claudio A. Ardagna, Michele Bezzi, Ernesto Damiani, Antonino Sabetta	Machine-Readable Privacy Certificates for Services.	OTM Conferences	2013	DBLP DOI BibTeX RDF
15	Samuel Paul Kaluvuri, Hristo Koshutanski, Francesco Di Cerbo, Antonio Mana	Security Assurance of Services through Digital Security Certificates.	ICWS	2013	DBLP DOI BibTeX RDF
15	Shunichi Kinoshita, Toshiki Watanabe, Yasuhiro Yamasaki, Hideaki Goto, Hideaki Sone	Fault-Tolerant Wireless LAN Roaming System Using Client Certificates.	COMPSAC	2013	DBLP DOI BibTeX RDF
15	Víctor Mateu, Francesc Sebé, Magda Valls	Blind Certificates for Secure Electronic Voting.	ITNG	2013	DBLP DOI BibTeX RDF
15	John Paul Dickerson, Tuomas Sandholm	Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates is Moderate.	AAAI (Late-Breaking Developments)	2013	DBLP BibTeX RDF
15	Zakaria Chihani, Dale Miller 0001, Fabien Renaud	Foundational Proof Certificates in First-Order Logic.	CADE	2013	DBLP DOI BibTeX RDF
15	Chantal Keller	Extended Resolution as Certificates for Propositional Logic.	PxTP@CADE	2013	DBLP DOI BibTeX RDF
15	Zakaria Chihani, Dale Miller 0001, Fabien Renaud	Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract).	PxTP@CADE	2013	DBLP DOI BibTeX RDF
15	Alexis Fouilhé, David Monniaux, Michaël Périn	Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.	SAS	2013	DBLP DOI BibTeX RDF
15	Juan Caubet, Oscar Esparza, Juanjo Alins, Jorge Mata-Díaz, Miguel Soriano	Securing Identity Assignment Using Implicit Certificates in P2P Overlays.	IFIPTM	2013	DBLP DOI BibTeX RDF
15	Ana Ferreira 0001, Rosario Giustolisi, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini	Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
15	John Paul Dickerson, Tuomas Sandholm	Throwing Darts: Random Sampling Helps Tree Search when the Number of Short Certificates Is Moderate.	SOCS	2013	DBLP DOI BibTeX RDF
15	Dale Miller 0001	Foundational proof certificates: making proof universal and permanent.	LFMTP	2013	DBLP DOI BibTeX RDF
15	Herbert Mangesius, Sandra Hirche, Matthias Huber, Thomas Hamacher	A framework to quantify technical flexibility in power systems based on reliability certificates.	ISGT Europe	2013	DBLP DOI BibTeX RDF
15	Paolo Serafini, Bruno Simeone	Certificates of optimality: the third way to biproportional apportionment.	Soc. Choice Welf.	2012	DBLP DOI BibTeX RDF
15	Jan Olaf Blech, Michaël Périn	Generating Invariant-Based Certificates for Embedded Systems.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
15	B. S. Kochkarev	About one class polynomial problems with not polynomial certificates	CoRR	2012	DBLP BibTeX RDF
15	Frédéric Blanqui, Adam Koprowski	CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates.	CoRR	2012	DBLP BibTeX RDF
15	Frédéric Blanqui, Kim Quyen Ly	Automated verification of termination certificates	CoRR	2012	DBLP BibTeX RDF
15	Geoff Huston, George Michaelson, Robert Loomans	A Profile for X.509 PKIX Resource Certificates.	RFC	2012	DBLP DOI BibTeX RDF
15	Geoff Huston, Robert Loomans, Byron Ellacott, Rob Austein	A Protocol for Provisioning Resource Certificates.	RFC	2012	DBLP DOI BibTeX RDF
15	Martin Georgiev, Subodh Iyengar, Suman Jana, Rishita Anubhai, Dan Boneh, Vitaly Shmatikov	The most dangerous code in the world: validating SSL certificates in non-browser software.	CCS	2012	DBLP DOI BibTeX RDF