Sabelfeld | BibSonomy

publications (hide)153
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

103411 Abstracts Collection - Language Based Security.
A. Banerjee, H. Mantel, D. Naumann, and A. Sabelfeld. Language Based Security, volume 03411 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2003)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
103411 Final Report - Language Based Security.
A. Banerjee, H. Mantel, D. Naumann, and A. Sabelfeld. Language Based Security, volume 03411 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2003)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
107091 Abstracts Collection - Mobility, Ubiquity and Security.
G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
107091 Executive Summary - Mobility, Ubiquity and Security.
G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A Generic Approach to the Security of Multi-Threaded Programs.
H. Mantel, and A. Sabelfeld. CSFW, page 126-142. IEEE Computer Society, (2001)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A lattice-based approach to mashup security.
J. Magazinius, A. Askarov, and A. Sabelfeld. AsiaCCS, page 15-23. ACM, (2010)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A Model for Delimited Information Release.
A. Sabelfeld, and A. Myers. ISSS, volume 3233 of Lecture Notes in Computer Science, page 174-191. Springer, (2003)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A Per Model of Secure Information Flow in Sequential Programs.
A. Sabelfeld, and D. Sands. ESOP, volume 1576 of Lecture Notes in Computer Science, page 40-58. Springer, (1999)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A Principled Approach to Tracking Information Flow in the Presence of Libraries.
D. Hedin, A. Sjösten, F. Piessens, and A. Sabelfeld. POST, volume 10204 of Lecture Notes in Computer Science, page 49-70. Springer, (2017)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A stochastic model, simulation, and application to aggregation of cadmium sulfide nanocrystals upon evaporation of the Langmuir-Blodgett matrix.
K. Svit, K. Zhuravlev, S. Kireev, and K. Sabelfeld. Monte Carlo Methods Appl., 27 (4): 289-299 (2021)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A stochastic spectral projection method for solving PDEs in domains composed by overlapping discs, spheres, and half-spaces.
K. Sabelfeld. Appl. Math. Comput., 219 (10): 5123-5139 (2013)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1A study of highly efficient stochastic sequences for multidimensional sensitivity analysis.
I. Dimov, V. Todorov, and K. Sabelfeld. Monte Carlo Methods Appl., 28 (1): 1-12 (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1An Empirical Study of Information Flows in Real-World JavaScript.
C. Staicu, D. Schoepe, M. Balliu, M. Pradel, and A. Sabelfeld. PLAS@CCS, page 45-59. ACM, (2019)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Analysis of relative dispersion of two particles by Lagrangian stochastic models and DNS methods.
O. Kurbanmuradov, S. Orszag, K. Sabelfeld, and P. Yeung. Monte Carlo Methods Appl., 7 (3-4): 245-264 (2001)
4 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Analysis of Some Semantic Properties for Programs of the Applicative Language AL.
V. Sabelfeld. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 181-189. Springer, (1993)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Architectures for Inlining Security Monitors in Web Applications.
J. Magazinius, D. Hedin, and A. Sabelfeld. ESSoS, volume 8364 of Lecture Notes in Computer Science, page 141-160. Springer, (2014)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Arithmetic in Formal Synthesis.
V. Sabelfeld, and K. Kapp. MBMV, page 112-120. Shaker, (2003)
13 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis.
K. Kapp, and V. Sabelfeld. DAC, page 61-66. ACM, (2004)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1AutoNav: Evaluation and Automatization of Web Navigation Policies.
B. Eriksson, and A. Sabelfeld. WWW, page 1320-1331. ACM / IW3C2, (2020)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1BetterTimes - Privacy-Assured Outsourced Multiplications for Additively Homomorphic Encryption on Finite Fields.
P. Hallgren, M. Ochoa, and A. Sabelfeld. ProvSec, volume 9451 of Lecture Notes in Computer Science, page 291-309. Springer, (2015)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Black Ostrich: Web Application Scanning with String Solvers.
B. Eriksson, A. Stjerna, R. Masellis, P. Rümmer, and A. Sabelfeld. CCS, page 549-563. ACM, (2023)
12 months ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Black Widow: Blackbox Data-driven Web Scanning.
B. Eriksson, G. Pellegrino, and A. Sabelfeld. SP, page 1125-1142. IEEE, (2021)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing.
A. Birgisson, D. Hedin, and A. Sabelfeld. ESORICS, volume 7459 of Lecture Notes in Computer Science, page 55-72. Springer, (2012)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Bridging Language-Based and Process Calculi Security.
R. Focardi, S. Rossi, and A. Sabelfeld. FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 299-315. Springer, (2005)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Capabilities for information flow.
A. Birgisson, A. Russo, and A. Sabelfeld. PLAS, page 5. ACM, (2011)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Catch me if you can: permissive yet secure error handling.
A. Askarov, and A. Sabelfeld. PLAS, page 45-57. ACM, (2009)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1CatNap: Leveraging Generic MPC for Actively Secure Privacy-enhancing Proximity Testing with a Napping Party.
I. Oleynikov, E. Pagnin, and A. Sabelfeld. SECRYPT, page 237-248. SCITEPRESS, (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Cellular Automata Model of Electrons and Holes Annihilation in an Inhomogeneous Semiconductor.
A. Kireeva, and K. Sabelfeld. PaCT, volume 9251 of Lecture Notes in Computer Science, page 191-200. Springer, (2015)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Clockwork: Tracking Remote Timing Attacks.
I. Bastys, M. Balliu, T. Rezk, and A. Sabelfeld. CSF, page 350-365. IEEE, (2020)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Closing Internal Timing Channels by Transformation.
A. Russo, J. Hughes, D. Naumann, and A. Sabelfeld. ASIAN, volume 4435 of Lecture Notes in Computer Science, page 120-135. Springer, (2006)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Compositional Information-Flow Security for Interactive Systems.
W. Rafnsson, and A. Sabelfeld. CSF, page 277-292. IEEE Computer Society, (2014)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Confidentiality for Multithreaded Programs via Bisimulation.
A. Sabelfeld. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 260-274. Springer, (2003)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Convergence of Fourier-Wavelet Models for Gaussian Random Processes.
O. Kurbanmuradov, and K. Sabelfeld. SIAM J. Numerical Analysis, 46 (6): 3084-3112 (2008)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Corrigendum to Ä stochastic spectral projection method for solving PDEs in domains composed by overlapping discs, spheres, and half-spaces".
K. Sabelfeld. Appl. Math. Comput., (2014)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Cryptographically-Masked Flows.
A. Askarov, D. Hedin, and A. Sabelfeld. SAS, volume 4134 of Lecture Notes in Computer Science, page 353-369. Springer, (2006)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Data Exfiltration in the Face of CSP.
S. Acker, D. Hausknecht, and A. Sabelfeld. AsiaCCS, page 853-864. ACM, (2016)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Data Privacy in Trigger-Action IoT Systems.
Y. Chen, A. Chowdhury, R. Wang, A. Sabelfeld, R. Chatterjee, and E. Fernandes. CoRR, (2020)
4 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Data Privacy in Trigger-Action Systems.
Y. Chen, A. Chowdhury, R. Wang, A. Sabelfeld, R. Chatterjee, and E. Fernandes. SP, page 501-518. IEEE, (2021)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Dead Code Elimination in Formal Synthesis.
K. Kapp, and V. Sabelfeld. MBMV, page 121-130. Shaker, (2003)
13 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Decentralized Delimited Release.
J. Magazinius, A. Askarov, and A. Sabelfeld. APLAS, volume 7078 of Lecture Notes in Computer Science, page 220-237. Springer, (2011)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1DeDup.js: Discovering Malicious and Vulnerable Extensions by Detecting Duplication.
P. Picazo-Sanchez, M. Algehed, and A. Sabelfeld. ICISSP, page 528-535. SCITEPRESS, (2022)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Dimensions and Principles of Declassification.
A. Sabelfeld, and D. Sands. CSFW, page 255-269. IEEE Computer Society, (2005)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Dimensions of Declassification in Theory and Practice.
A. Sabelfeld. ASIAN, volume 4846 of Lecture Notes in Computer Science, page 1. Springer, (2007)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Discovering Browser Extensions via Web Accessible Resources.
A. Sjösten, S. Acker, and A. Sabelfeld. CODASPY, page 329-336. ACM, (2017)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Drift velocity in GaN semiconductors: Monte Carlo simulation and comparison with experimental measurements.
E. Kablukova, K. Sabelfeld, D. Protasov, and K. Zhuravlev. Monte Carlo Methods Appl., 26 (4): 263-271 (2020)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Dynamic vs. Static Flow-Sensitive Security Analysis.
A. Russo, and A. Sabelfeld. CSF, page 186-199. IEEE Computer Society, (2010)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Enforcing Robust Declassification.
A. Myers, A. Sabelfeld, and S. Zdancewic. CSFW, page 172-186. IEEE Computer Society, (2004)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1EssentialFP: Exposing the Essence of Browser Fingerprinting.
A. Sjösten, D. Hedin, and A. Sabelfeld. EuroS&P Workshops, page 32-48. IEEE, (2021)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Explicit Secrecy: A Policy for Taint Tracking.
D. Schoepe, M. Balliu, B. Pierce, and A. Sabelfeld. EuroS&P, page 15-30. IEEE, (2016)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1FakeX: A Framework for Detecting Fake Reviews of Browser Extensions.
E. Olsson, B. Eriksson, P. Picazo-Sanchez, L. Andersson, and A. Sabelfeld. AsiaCCS, ACM, (2024)
4 months ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Flux and concentration footprint modelling: State of the art
T. Vesala, N. Kljun, U. Rannik, J. Rinne, A. Sogachev, T. Markkanen, K. Sabelfeld, T. Foken, M. Leclerc, and others. Environmental Pollution-Kidlington, 152 (3): 653--666 (2008)
12 years ago by @grb
show all tags
Footprint
Footprint
copydeleteadd this publication to your clipboard
1Footprint analysis for measurements over a heterogeneous forest
{. Rannik, M. Aubinet, O. Kurbanmuradov, K. Sabelfeld, T. Markkanen, and T. Vesala. Boundary-Layer Meteorology, 97 (1): 137--166 (2000)
12 years ago by @grb
show all tags
Footprint
heterogeneous
Footprintheterogeneous
copydeleteadd this publication to your clipboard
1Formal Synthesis at the Algorithmic Level.
C. Blumenröhr, and V. Sabelfeld. CHARME, volume 1703 of Lecture Notes in Computer Science, page 187-201. Springer, (1999)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Formale Verifikation eingebetteter Systeme.
D. Schmid, K. Schneider, M. Huhn, G. Logothetis, and V. Sabelfeld. Informationstechnik Tech. Inform., 41 (2): 12-16 (1999)
a month ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research.
A. Sabelfeld, and A. Russo. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 352-365. Springer, (2009)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1GlassTube: a lightweight approach to web application integrity.
P. Hallgren, D. Mauritzson, and A. Sabelfeld. PLAS, page 71-82. ACM, (2013)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Gradual Release: Unifying Declassification, Encryption and Key Release Policies.
A. Askarov, and A. Sabelfeld. S&P, page 207-221. IEEE Computer Society, (2007)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Hardening the security analysis of browser extensions.
B. Eriksson, P. Picazo-Sanchez, and A. Sabelfeld. SAC, page 1694-1703. ACM, (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security.
P. Picazo-Sanchez, G. Schneider, and A. Sabelfeld. CANS, volume 12579 of Lecture Notes in Computer Science, page 107-126. Springer, (2020)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1If This Then What?: Controlling Flows in IoT Apps.
I. Bastys, M. Balliu, and A. Sabelfeld. CCS, page 1102-1119. ACM, (2018)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Information Flow Tracking for Side-Effectful Libraries.
A. Sjösten, D. Hedin, and A. Sabelfeld. FORTE, volume 10854 of Lecture Notes in Computer Science, page 141-160. Springer, (2018)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Information-Flow Control for Database-Backed Applications.
M. Guarnieri, M. Balliu, D. Schoepe, D. Basin, and A. Sabelfeld. EuroS&P, page 79-94. IEEE, (2019)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Information-Flow Security for a Core of JavaScript.
D. Hedin, and A. Sabelfeld. CSF, page 3-18. IEEE Computer Society, (2012)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
2Information-flow security for JavaScript and its APIs.
D. Hedin, L. Bello, and A. Sabelfeld. J. Comput. Secur., 24 (2): 181-234 (2016)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
2Information-flow security for JavaScript and its APIs.
D. Hedin, L. Bello, and A. Sabelfeld. Journal of Computer Security, 24 (2): 181-234 (2016)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1InnerCircle: A parallelizable decentralized privacy-preserving location proximity protocol.
P. Hallgren, M. Ochoa, and A. Sabelfeld. PST, page 1-6. IEEE Computer Society, (2015)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Introducing Mutual Exclusion in Esterel.
K. Schneider, and V. Sabelfeld. Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 445-459. Springer, (1999)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1JavaScript Sandboxing: Isolating and Restricting Client-Side JavaScript.
S. Acker, and A. Sabelfeld. FOSAD, volume 9808 of Lecture Notes in Computer Science, page 32-86. Springer, (2016)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1JSFlow: tracking information flow in JavaScript and its APIs.
D. Hedin, A. Birgisson, L. Bello, and A. Sabelfeld. SAC, page 1663-1671. ACM, (2014)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1JSLINQ: Building Secure Applications across Tiers.
M. Balliu, B. Liebe, D. Schoepe, and A. Sabelfeld. CODASPY, page 307-318. ACM, (2016)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Latex Gloves: Protecting Browser Extensions from Probing and Revelation Attacks.
A. Sjösten, S. Acker, P. Picazo-Sanchez, and A. Sabelfeld. NDSS, The Internet Society, (2019)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1LazyTAP: On-Demand Data Minimization for Trigger-Action Applications.
M. Ahmadpanah, D. Hedin, and A. Sabelfeld. SP, page 3079-3097. IEEE, (2023)
6 months ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Let's Face It: Faceted Values for Taint Tracking.
D. Schoepe, M. Balliu, F. Piessens, and A. Sabelfeld. ESORICS (1), volume 9878 of Lecture Notes in Computer Science, page 561-580. Springer, (2016)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Limiting information leakage in event-based communication.
W. Rafnsson, and A. Sabelfeld. PLAS, page 4. ACM, (2011)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Localized delimited release: combining the what and where dimensions of information release.
A. Askarov, and A. Sabelfeld. PLAS, page 53-60. ACM, (2007)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Location-enhanced authentication using the IoT: because you cannot be in two places at once.
I. Agadakos, P. Hallgren, D. Damopoulos, A. Sabelfeld, and G. Portokalidis. ACSAC, page 251-264. ACM, (2016)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1MaxPace: Speed-constrained location queries.
P. Hallgren, M. Ochoa, and A. Sabelfeld. CNS, page 136-144. IEEE, (2016)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1May I? - Content Security Policy Endorsement for Browser Extensions.
D. Hausknecht, J. Magazinius, and A. Sabelfeld. DIMVA, volume 9148 of Lecture Notes in Computer Science, page 261-281. Springer, (2015)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Measuring login webpage security.
S. Acker, D. Hausknecht, and A. Sabelfeld. SAC, page 1753-1760. ACM, (2017)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Monte Carlo Simulation of Particle's Dispersion in Convective Boundary Layer of the Atmosphere.
K. Sabelfeld, and T. Averina. Monte Carlo Methods Appl., 2 (2): 159-171 (1996)
4 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Monte Carlo simulation of the coagulation processes governed by Smoluchowski equation with random coefficients.
K. Sabelfeld, and A. Kolodko. Monte Carlo Methods Appl., 3 (4): 275-312 (1997)
4 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Multi-run Security.
A. Birgisson, and A. Sabelfeld. ESORICS, volume 6879 of Lecture Notes in Computer Science, page 372-391. Springer, (2011)
5 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1No Signal Left to Chance: Driving Browser Extension Analysis by Download Patterns.
P. Picazo-Sanchez, B. Eriksson, and A. Sabelfeld. ACSAC, page 896-910. ACM, (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Nontransitive Policies Transpiled.
M. Ahmadpanah, A. Askarov, and A. Sabelfeld. EuroS&P, page 543-561. IEEE, (2021)
6 months ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Numeric Types in Formal Synthesis.
V. Sabelfeld, and K. Kapp. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 79-90. Springer, (2003)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1On the Road with Third-party Apps: Security Analysis of an In-vehicle App Platform.
B. Eriksson, J. Groth, and A. Sabelfeld. VEHITS, page 64-75. SciTePress, (2019)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1On-the-fly Inlining of Dynamic Security Monitors.
J. Magazinius, A. Russo, and A. Sabelfeld. SEC, volume 330 of IFIP Advances in Information and Communication Technology, page 173-186. Springer, (2010)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1On-the-fly inlining of dynamic security monitors.
J. Magazinius, A. Russo, and A. Sabelfeld. Comput. Secur., 31 (7): 827-843 (2012)
a year ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Outsourcing MPC Precomputation for Location Privacy.
I. Oleynikov, E. Pagnin, and A. Sabelfeld. EuroS&P Workshops, page 504-513. IEEE, (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Parallel implementation of a three-dimensional cellular automaton model of the electrochemical oxidation of carbon "Ketjenblack EC-600JD".
A. Kireeva, K. Sabelfeld, E. Gribov, and N. Maltseva. J. Supercomput., 75 (12): 7790-7798 (2019)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Parallel Implementation of Cellular Automaton Model of the Carbon Corrosion Under the Influence of the Electrochemical Oxidation.
A. Kireeva, K. Sabelfeld, N. Maltseva, and E. Gribov. PaCT, volume 10421 of Lecture Notes in Computer Science, page 205-214. Springer, (2017)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Parallel simulation of drift-diffusion-recombination by cellular automata and global random walk algorithm.
A. Kireeva, K. Sabelfeld, and S. Kireev. J. Supercomput., 77 (7): 6889-6903 (2021)
3 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Password Meters and Generators on the Web: From Large-Scale Empirical Study to Getting It Right.
S. Acker, D. Hausknecht, W. Joosen, and A. Sabelfeld. CODASPY, page 253-262. ACM, (2015)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Polyglots: crossing origins by crossing formats.
J. Magazinius, B. Rios, and A. Sabelfeld. ACM Conference on Computer and Communications Security, page 753-764. ACM, (2013)
6 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Poster: Data Minimization by Construction for Trigger-Action Applications.
M. Ahmadpanah, D. Hedin, and A. Sabelfeld. CCS, page 3522-3524. ACM, (2023)
12 months ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Practical Data Access Minimization in Trigger-Action Platforms.
Y. Chen, M. Alhanahnah, A. Sabelfeld, R. Chatterjee, and E. Fernandes. USENIX Security Symposium, page 2929-2945. USENIX Association, (2022)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Privacy-Preserving Location-Proximity for Mobile Apps.
S. Stirbys, O. Nabah, P. Hallgren, and A. Sabelfeld. PDP, page 337-345. IEEE Computer Society, (2017)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1PrivatePool: Privacy-Preserving Ridesharing.
P. Hallgren, C. Orlandi, and A. Sabelfeld. CSF, page 276-291. IEEE Computer Society, (2017)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Probabilistic Noninterference for Multi-Threaded Programs.
A. Sabelfeld, and D. Sands. CSFW, page 200-214. IEEE Computer Society, (2000)
2 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard
1Procedure implementation in a multi-language translator.
V. Sabelfeld. Methods of Algorithmic Language Implementation, volume 47 of Lecture Notes in Computer Science, page 80-89. Springer, (1975)
8 years ago by @dblp
show all tags
dblp
dblp
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
⟩
⟩⟩

publications (hide)153 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

tags

publications (hide)153
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...