|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 243 occurrences of 170 keywords
|
|
|
Results
Found 749 publication records. Showing 749 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
163 | Harry Z. B. Chen, Robert Schober |
Cyclic space-frequency filtering for BICM-OFDM systems with multiple co-located or distributed transmit antennas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(1), pp. 336-346, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
163 | Harry Z. B. Chen, Robert Schober |
Cyclic space-frequency filtering for BICM-OFDM systems with multiple co-located or distributed transmit antennas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(4), pp. 1825-1835, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
103 | Marcus J. Nadenau, Julien Reichel, Murat Kunt |
Wavelet-based color image compression: exploiting the contrast sensitivity function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 12(1), pp. 58-70, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
89 | Thanh Tùng Kim, Giuseppe Caire, Mikael Skoglund |
Decode-and-Forward Relaying With Quantized Channel State Feedback: An Outage Exponent Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(10), pp. 4548-4564, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Christoph Busch 0001 |
Inter-patient analysis of tomographic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 173-178, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
inter-patient analysis, tomographic data, computer-based support, pathological tissue localization, brain tissue types, pathological tissue, grey matter, fat tissue, two-step texture analysis, morphological postprocessing, tumor, classification, image segmentation, feature extraction, magnetic resonance imaging, computer tomography, background, bone, white matter, CSF |
45 | Hamed O. Ghaffari, Samuel C. Grant, Linda R. Petzold, Michael G. Harrington |
Regulation of CSF and Brain Tissue Sodium Levels by the Blood-CSF and Blood-Brain Barriers During Migraine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Neurosci. ![In: Frontiers Comput. Neurosci. 14, pp. 4, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
44 | Eric Swanson, Keiichi Sato, Judith Gregory |
Exploring Cultural Context Using the Contextual Scenario Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (14) ![In: Internationalization, Design and Global Development, Third International Conference, IDGD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 117-126, 2009, Springer, 978-3-642-02766-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Context, Scenario, Culture, Human-Computer Interface, Scenario-Based Design, Information Systems Design |
44 | Mariano Montoni, Ana Regina Rocha |
A Methodology for Identifying Critical Success Factors That Influence Software Process Improvement Initiatives: An Application in the Brazilian Software Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings, pp. 175-186, 2007, Springer, 978-3-540-74765-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Hai Li 0006, Tianming Liu 0001, Geoffrey S. Young, Lei Guo 0002, Stephen T. C. Wong |
Brain tissue segmentation based on DWI/DTI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 57-60, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Vartan Kurtcuoglu, Michaela Soellinger, Paul E. Summers, Kevin Boomsma, Dimos Poulikakos, Peter Boesiger, Yiannis Ventikos |
Reconstruction of Cerebrospinal Fluid Flow in the Third Ventricle Based on MRI Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005, 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I, pp. 786-793, 2005, Springer, 3-540-29327-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Wenlong Qian, Zujun Hou, Qingmao Hu, Aamer Aziz, Wieslaw Lucjan Nowinski |
Segmentation of the Sylvian Fissure in Brain Mr Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 115-124, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Guillaume Dugas-Phocion, Miguel Ángel González Ballester, Grégoire Malandain, Christine Lebrun, Nicholas Ayache |
Improved EM-Based Tissue Segmentation and Partial Volume Effect Quantification in Multi-sequence Brain MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part I, pp. 26-33, 2004, Springer, 3-540-22976-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | |
36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![IEEE, 979-8-3503-2192-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Alejandro Ranchal-Pedrosa, Vincent Gramoli |
Basilic: Resilient-Optimal Consensus Protocols with Benign and Deceitful Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 91-106, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001 |
Election Verifiability in Receipt-Free Voting Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 59-74, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu |
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 372-387, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Bernardo Portela, Hugo Pacheco 0001, Pedro Jorge, Rogério Pontes |
General-Purpose Secure Conflict-free Replicated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 521-536, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Zahra Javar, Bruce M. Kapron |
Preimage Awareness in Linicrypt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 33-42, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Marco Patrignani, Sam Blackshear |
Robust Safety for Move. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 308-323, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Chris Brzuska, Sabine Oechsner |
A State-Separating Proof for Yao's Garbling Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 137-152, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Eric Chan, Marek Chrobak, Mohsen Lesani |
Cross-Chain Swaps with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 261-275, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | David Baelde, Alexandre Debant, Stéphanie Delaune |
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 75-90, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Ashley Fraser, Lydia Garms, Elizabeth A. Quaglia |
On the Incoercibility of Digital Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 153-168, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Shun Takagi, Fumiyuki Kato, Yang Cao 0011, Masatoshi Yoshikawa |
From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 457-472, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini |
Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 489-504, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Johannes Wilson, Mikael Asplund, Niklas Johansson |
Extending the Authentication Hierarchy with One-Way Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 214-228, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser |
Statement-Oblivious Threshold Witness Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 17-32, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman |
Smart Contract Synthesis Modulo Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 276-291, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Vincent Cheval, Itsaka Rakotonirina |
Indistinguishability Beyond Diff-Equivalence in ProVerif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 184-199, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Holler, Sebastian Biewer, Clara Schneidewind |
HoRStify: Sound Security Analysis of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 245-260, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia 0001 |
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 324-339, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sayanton V. Dibbo |
SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 439-456, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi |
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 423-438, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Yunxiao Zhang, Pasquale Malacaria |
Keep Spending: Beyond Optimal Cyber-Security Investment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 123-136, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Cas Cremers, Charlie Jacomme, Philip Lukert |
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 200-213, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Easwar Vivek Mangipudi, Donghang Lu, Alexandros Psomas 0001, Aniket Kate |
Collusion-Deterrent Threshold Information Escrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 584-599, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Jeppe Fredsgaard Blaabjerg, Aslan Askarov |
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 292-307, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Shahnewaz Karim Sakib, George T. Amariucai, Yong Guan |
Variations and Extensions of Information Leakage Metrics with Applications to Privacy Problems with Imperfect Statistical Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 407-422, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Denis Firsov, Dominique Unruh |
Zero-Knowledge in EasyCrypt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 1-16, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters |
High-Assurance Field Inversion for Curve-Based Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 552-567, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese |
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 537-551, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei |
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 107-122, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia |
SoK: Delay-Based Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 169-183, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sherman S. M. Chow, Christoph Egger 0001, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo |
On Sustainable Ring-Based Anonymous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 568-583, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum |
Investigating Membership Inference Attacks under Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 473-488, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Konstantinos Chatzikokolakis 0001, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso |
Bayes Security: A Not So Average Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 388-406, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Aikaterini-Panagiota Stouka, Thomas Zacharias 0001 |
On the (De) centralization of FruitChains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 229-244, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Andrew C. Reed, Michael K. Reiter |
Optimally Hiding Object Sizes with Constrained Padding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 505-520, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos |
Securing Optimized Code Against Power Side Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 340-355, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Vincent Cheval, Véronique Cortier, Alexandre Debant |
Election Verifiability with ProVerif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 43-58, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach |
Formalizing Stack Safety as a Security Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 356-371, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | |
35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![IEEE, 978-1-6654-8417-6 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Peixuan Li, Danfeng Zhang |
Towards a General-Purpose Dynamic Information Flow Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 260-275, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Alwen Tiu, Rolando Trujillo-Rasua |
Is Eve nearby? Analysing protocols under the distant-attacker assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 17-32, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | David Mestel, Johannes Müller 0001, Pascal Reisert |
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 179-194, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Sébastien Gondron, Sebastian Mödersheim, Luca Viganò 0001 |
Privacy as Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 130-146, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Ross Horne, Sjouke Mauw, Semen Yurkov |
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 364-379, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Thilo Weghorn, Si Liu 0003, Christoph Sprenger 0001, Adrian Perrig, David A. Basin |
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 147-162, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin |
IFCIL: An Information Flow Configuration Language for SELinux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 243-259, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | François Dupressoir, Konrad Kohbrok, Sabine Oechsner |
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 227-242, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Raven Beutner, Bernd Finkbeiner |
Prophecy Variables for Hyperproperty Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 471-485, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese |
Proving full-system security properties under multiple attacker models on capability machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 80-95, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg |
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 335-347, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Alisa Pankova, Peeter Laud |
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 96-111, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Vincent Cheval, Raphaëlle Crubillé, Steve Kremer |
Symbolic protocol verification with dice: process equivalences in the presence of probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 319-334, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova 0001, Siddharth Garg, Mahesh Tripunitara |
Locked Circuit Indistinguishability: A Notion of Security for Logic Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 455-470, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Sergiu Bursuc, Sjouke Mauw |
Contingent payments from two-party signing and verification for abelian groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 195-210, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Priyanka Mondal, Maximilian Algehed, Owen Arden |
Applying consensus and replication securely with FLAQR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 163-178, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | David Mestel |
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 276-288, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Michele Ciampi, Yun Lu 0001, Vassilis Zikas |
Collusion-Preserving Computation without a Mediator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 211-226, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Lisa Oakley, Alina Oprea, Stavros Tripakis |
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 380-395, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding 0001 |
Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 348-363, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Felipe Boeira, Mikael Asplund |
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 305-318, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Mark Bun, Marco Gaboardi, Ludmila Glinskih |
The Complexity of Verifying Boolean Programs as Differentially Private. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 396-411, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Farzane Karami, David A. Basin, Einar Broch Johnsen |
DPL: A Language for GDPR Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 112-129, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis |
Mapping Synthesis for Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 486-500, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala |
Adversary Safety by Construction in a Language of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 412-427, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Liyi Li 0002, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001 |
A Formal Model of Checked C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 49-63, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau |
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 289-304, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Alexander May 0001, Floyd Zweydinger |
Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 428-438, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Tommy Hollenberg, Mike Rosulek, Lawrence Roy |
A Complete Characterization of Security for Linicrypt Block Cipher Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 439-454, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg 0001, Catalin Hritcu |
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 64-79, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Petar Paradzik, Ante Derek |
Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 1-16, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Véronique Cortier, Antoine Dallon, Stéphanie Delaune |
A small bound on the number of sessions for security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022, pp. 33-48, 2022, IEEE, 978-1-6654-8417-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | |
34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![IEEE, 978-1-7281-7607-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters |
Formal security analysis of MPC-in-the-head zero-knowledge protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-14, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Tobias Klenze, Christoph Sprenger 0001, David A. Basin |
Formal Verification of Secure Forwarding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini |
Formal Impact Metrics for Cyber-physical Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss |
KACHINA - Foundations of Private Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Carlos E. Budde, Mariëlle Stoelinga |
Efficient Algorithms for Quantitative Attack Tree Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-15, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Orly Stan, Ron Bitton, Michal Ezrets, Moran Dadon, Masaki Inokuchi, Yoshinobu Ohta, Tomohiko Yagyu, Yuval Elovici, Asaf Shabtai |
Heuristic Approach for Countermeasure Selection Using Attack Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Hunt, David Sands 0001 |
A Quantale of Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-15, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Jian Xiang, Nathan Fulton, Stephen Chong |
Relational Analysis of Sensor Attacks on Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Sébastien Gondron, Sebastian Mödersheim |
Vertical Composition and Sound Payload Abstraction for Stateful Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Søren Eller Thomsen, Bas Spitters |
Formalizing Nakamoto-Style Proof of Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-15, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Lucca Hirschi, Lara Schmid, David A. Basin |
Fixing the Achilles Heel of E-Voting: The Bulletin Board. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-17, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Dax, Robert Künnemann |
On the Soundness of Infrastructure Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001 |
Mechanised Models and Proofs for Distance-Bounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith 0001 |
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Ankush Das, Stephanie Balzer, Jan Hoffmann 0002, Frank Pfenning, Ishani Santurkar |
Resource-Aware Session Types for Digital Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, pp. 1-16, 2021, IEEE, 978-1-7281-7607-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 749 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|