@inproceedings{TCC11,
author = { Gunnar Kreitz },
title = { A Zero-One Law for Secure Multi-Party Computation with Ternary Outputs },
booktitle = { TCC },
year = { 2011 },
project = {Cryptography},
url = {http://www.csc.kth.se/~gkreitz/mpc_zero_one_three/mpc_zero_one_three_tcc11.pdf}
}
@inproceedings{SantaClaus11,
author = {Ola Svensson},
title = {Santa Claus Schedules Jobs on Unrelated Machines},
booktitle = {Proceedings of the 43nd ACM Symposium on Theory of Computing (STOC)},
year = {2011},
url = {http://www.nada.kth.se/~osven/papers/SantaSched.pdf}
}
@inproceedings{CRPITV119P3-10,
author = {Jansen, K. and Praedel, L. and Schwarz, U. and Svensson, O.},
title = { Faster Approximation Algorithms for Scheduling with Fixed Jobs },
booktitle = { Computing: The Australasian Theory Symposium (CATS 2011) },
editor = { Alex Potanin and Taso Viglas },
series = {CRPIT},
address = { Perth, Australia },
publisher = {ACS},
volume = { 119 },
pages = { 3-10 },
year = { 2011 },
url = {http://www.nada.kth.se/~osven/papers/faster-reservations.pdf}
}
@article{5671532,
author = {Alpcan, T. and Buchegger, S.},
journal = {Mobile Computing, IEEE Transactions on},
title = {Security Games for Vehicular Networks},
year = {2011},
month = {feb.},
volume = {10},
number = {2},
pages = {280 -290},
doi = {10.1109/TMC.2010.146},
issn = {1536-1233},
pdf = {TMC-2008-12-0496-1.pdf}
}
@inproceedings{Moe11,
author = {Tobias M{\"o}mke},
title = {Structural Properties of Hard Metric {TSP} Inputs},
booktitle = {Proceedings of the 37th international conference on Current Trends in Theory and Practice of Computer Science (SOFSEM~2011)},
year = {2011},
pages = {394--405},
series = {Lecture Notes in Computer Science},
volume = {6543},
project = {Approximation algorithms},
pdf = {Moe11.pdf}
}
@article{mollgran11:division,
author = {Niels M\"{o}ller and Torbj{\"o}rn Granlund},
title = {Improved division by invariant integers},
journal = {{IEEE} Transactions on Computers},
year = {2011},
month = {February}
}
@article{DBLP:journals/tit/GuruswamiHK11,
author = {Venkatesan Guruswami and
Johan H{\aa}stad and
Swastik Kopparty},
title = {On the List-Decodability of Random Linear Codes},
journal = {IEEE Transactions on Information Theory},
volume = {57},
number = {2},
year = {2011},
pages = {718-725},
ee = {http://dx.doi.org/10.1109/TIT.2010.2095170},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.nada.kth.se/~johanh/vgjhsklinear.pdf}
}
@article{DBLP:journals/eccc/GuruswamiHMRC11,
author = {Venkatesan Guruswami and
Johan H{\aa}stad and
Rajsekar Manokaran and
Prasad Raghavendra and
Moses Charikar},
title = {Beating the Random Ordering is Hard: Every ordering CSP
is approximation resistant},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {18},
year = {2011},
pages = {27},
ee = {http://eccc.hpi-web.de/report/2011/027},
bibsource = {DBLP, http://dblp.uni-trier.de},
pdf = {TR11-027.pdf}
}
@article{DBLP:journals/siamcomp/AustrinH11,
author = {Per Austrin and
Johan H{\aa}stad},
title = {Randomly Supported Independence and Resistance},
journal = {SIAM J. Comput.},
volume = {40},
number = {1},
year = {2011},
pages = {1-27},
ee = {http://dx.doi.org/10.1137/100783534},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.nada.kth.se/~johanh/pajhrandom.pdf}
}
@unpublished{Nordstrom09PebblingSurveyFTTCS,
author = {Jakob Nordstr\"{o}m},
title = {New Wine into Old Wineskins: A Survey of Some
Pebbling Classics with Supplemental Results},
year = {2011},
note = {Manuscript in preparation. To appear in
\emph{Foundations and Trends in Theoretical Computer Science}},
url = {http://www.csc.kth.se/~jakobn/research/}
}
@inproceedings{NR11MinimalUnsatisfiability,
author = {Jakob Nordstr\"{o}m and Alexander Razborov},
title = {On Minimal Unsatisfiability and
Time-Space Trade-offs for \mbox{$k$-{DNF}} Resolution},
year = {2011},
month = jul,
booktitle = {Proceedings of the 38th International Colloquium on Automata,
Languages and Programming ({ICALP}~'11)},
note = {To appear}
}
@article{Nordstrom11RelativeStrength,
author = {Jakob Nordstr\"{o}m},
title = {On the Relative Strength of Pebbling and Resolution},
year = {2011},
journal = {ACM Transactions on Computational Logic},
note = {To appear}
}
@article{Nordstrom10SurveyLMCS,
author = {Jakob Nordstr\"{o}m},
title = {Pebble Games, Proof Complexity and Time-Space Trade-offs},
journal = {Logical Methods in Computer Science},
year = {2011},
note = {To appear},
url = {http://www.csc.kth.se/~jakobn/research/}
}
@inproceedings{BN11UnderstandingSpace,
author = {Eli {Ben-Sasson} and Jakob Nordstr\"{o}m},
title = {Understanding Space in Proof Complexity:
Separations and Trade-offs via Substitutions},
booktitle = {Proceedings of the 2nd Symposium on
Innovations in Computer Science ({ICS}~'11)},
month = jan,
year = {2011},
pages = {401\nobreakdash--416},
note = {Full-length version available at
\url{http://eccc.hpi-web.de/report/2010/125/}.}
}
@unpublished{BGNX11Semantics,
author = {Arnab Bhattacharyya and Elena Grigorescu and
Jakob Nordstr\"{o}m and Ning Xie},
title = {On the Semantics of Local Characterizations for
Linear-Invariant Properties},
year = {2011},
note = {Submitted. Preliminary version available at
\url{http://www.csc.kth.se/~jakobn/research/}}
}
@inproceedings{degreedapprox11,
author = {Johan H{\aa}stad},
title = { Satisfying Degree-d Equations of GF(2)n },
booktitle = {APPROX 2011},
series = {Lecture Notes in Computer Science},
volume = {6845},
pages = {242-253},
year = { 2011 },
pdf = {degreedapprox.pdf}
}
@inproceedings{SiaGrMa2011,
author = {Siavash Soleimanifard and Dilian Gurov and Marieke Huisman},
title = {ProMoVer: Modular Verification of Temporal Safety Properties},
booktitle = {International Conference on Software Engineering and Formal Methods (SEFM 2011)},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {366--381},
year = { 2011 },
url = {http://www.nada.kth.se/~siavashs/sefm11.pdf}
}
@inproceedings{InaGrSia2011,
author = {Ina Schaefer and Dilian Gurov and Siavash Soleimanifard},
title = {Compositional Algorithmic Verification of Software Product Lines},
booktitle = {International Symposium on Formal Methods for Components and Objects (FMCO 2010)},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {184--203},
year = { 2011 },
url = {http://www.nada.kth.se/~siavashs/fmco10.pdf}
}
@inproceedings{BaDaGu2011,
author = {M. Balliu and M. Dam and G. Le Guernic},
title = {Epistemic Temporal Logic for Information Flow Security},
booktitle = {Programming Languages and Analysis for Security (PLAS 2011 )},
year = { 2011 },
pdf = {plas11.pdf}
}
@inproceedings{spotifymeasure,
author = { Mikael Goldmann and Gunnar Kreitz },
title = { Measurements on the Spotify Peer-Assisted Music-on-Demand Streaming System },
booktitle = { IEEE P2P 2011 },
year = { 2011 },
pages = { 1--8 },
url = {http://www.csc.kth.se/~gkreitz/spotify-p2p11/spotify-p2p11.pdf}
}
@inproceedings{timingiseverything,
author = { Gunnar Kreitz },
title = { Timing is Everything --- the Importance of History Detection },
booktitle = { European Symposium on Research in Computer Security (ESORICS) 2011 },
year = { 2011 },
pages = { 117--132 },
url = {http://www.csc.kth.se/~gkreitz/timing_is_everything/timing_is_everything.pdf}
}
@misc{Sindhu11,
author = {Sindhu, Muddassar},
institution = {KTH, Theoretical Computer Science, TCS},
note = {QC 20110822},
pages = {x, 45},
publisher = {KTH Royal Institute of Technology},
school = {KTH, Theoretical Computer Science, TCS},
title = {Incremental Learning and Testing of Reactive Systems},
series = {Trita-CSC-A},
number = {2011:14},
year = {2011},
pdf = {Lic_muddassar.pdf}
}
@inproceedings{MaMu2011,
author = {Karl Meinke and Muddassar Sindhu},
title = {Incremental Learning-Based Testing for Reactive Systems},
booktitle = {TAP 2011},
series = {Lecture Notes in Computer Science},
volume = {{6706}},
pages = {134--151},
year = { 2011 },
pdf = {tap2011.pdf}
}
@inproceedings{MN11,
author = {Karl Meinke and Fei Niu},
title = {Learning-Based Testing for Reactive Systems using Term Rewriting Technology},
booktitle = {Proceedings of the 22nd IFIP International Conference on Testing Software and Systems},
series = {LNCS},
volume = {7019},
year = {2011},
pages = {97-114},
location = {Paris, France},
publisher = {Springer},
address = {Berlin, Heidelberg},
url = {http://www.nada.kth.se/~niu/ICTSS2011.pdf}
}
@inproceedings{RechertG11_LocationPrivacyTrustedPeers,
author = {Klaus Rechert and
Benjamin Greschbach},
title = {Location Privacy in Relation to Trusted Peers},
booktitle = {Security and Trust Management - 7th International Workshop,
STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
editor = {Catherine Meadows and
Carmen Fern{\'a}ndez Gago},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-29962-9},
pages = {106-121},
volume = {7170},
year = {2011},
doi = {10.1007/978-3-642-29963-6_9},
pdf = {RechertG11_LocationPrivacyTrustedPeers.pdf}
}
@inproceedings{RechertMGWS11_LocationPrivacyGSM,
author = {Klaus Rechert and
Konrad Meier and
Benjamin Greschbach and
Dennis Wehrle and
Dirk von Suchodoletz},
title = {Assessing Location Privacy in Mobile Communication Networks},
booktitle = {Information Security, 14th International Conference, ISC
2011, Xi'an, China, October 26-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
editor = {Xuejia Lai and
Jianying Zhou and
Hui Li},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24860-3},
pages = {309-324},
volume = {7001},
year = {2011},
doi = {10.1007/978-3-642-24861-0_21},
pdf = {RechertMGWS11_LocationPrivacyGSM.pdf}
}
@inproceedings{Greschbach11_LocationPrivacyUsercentricThreatAnalysis,
author = {Benjamin Greschbach},
title = {Location Privacy: User-centric Threat Analyis},
booktitle = {Seventh European Conference on Computer Network Defense, EC2ND 2011, September 6-7, 2011, Gothenburg, Sweden},
publisher = {IEEE},
year = {2011},
note = {Student Session Abstract},
pdf = {Greschbach11_LocationPrivacyUsercentricThreatAnalysis.pdf}
}
@inproceedings{6142931,
author = {Enstrom, E. and Kreitz, G. and Niemela, F. and Soderman, P. and Kann, V.},
booktitle = {Frontiers in Education Conference (FIE), 2011},
title = {Five years with kattis #x2014; Using an automated assessment system in teaching},
year = {2011},
month = {oct.},
volume = {},
number = {},
pages = {T3J-1 -T3J-6},
doi = {10.1109/FIE.2011.6142931},
issn = {0190-5848}
}
@article{DBLP:journals/siamcomp/PassTW11,
author = {Rafael Pass and
Wei-Lung Dustin Tseng and
Douglas Wikstr{\"o}m},
title = {On the Composition of Public-Coin Zero-Knowledge Protocols},
journal = {SIAM J. Comput.},
volume = {40},
number = {6},
year = {2011},
pages = {1529-1553}
}
@inproceedings{BodriagovB11,
author = {Oleksandr Bodriagov and
Sonja Buchegger},
title = {Encryption for Peer-to-Peer Social Networks},
booktitle = {SocialCom/PASSAT},
year = {2011},
pages = {1302-1309},
ee = {http://doi.ieeecomputersociety.org/10.1109/PASSAT/SocialCom.2011.158},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.96.