Catherine Meadows

140 papers A* 6A 9B 12C 11Misc 2Journal 32Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Víctor García, Santaigo Escobar, Catherine Meadows, José Meseguer
2025 J jnl
CoRR
Víctor García, Santiago Escobar, Catherine Meadows, José Meseguer
2024 A conf
CSF
Aaron D. Jaggard, Paul Syverson, Catherine Meadows
2024 J jnl
CoRR
Aaron D. Jaggard, Paul Syverson, Catherine Meadows
2023 conf
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2022 conf
CODASPY
Catherine Meadows
2021 conf
ESORICS (2)
Catherine Meadows
2021 conf
Protocols, Strands, and Logic
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 conf
UNIF
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2020 conf
CNS
Olga Chen, Aaron D. Jaggard, Catherine Meadows, Michael C. Shlanta
2020 Misc conf
INDOCRYPT
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 J jnl
CoRR
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña
2020 J jnl
IACR Cryptol. ePrint Arch.
Catherine Meadows
2019 conf
FroCos
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
CoRR
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
CoRR
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2018 B conf
LPAR
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer
2018 J jnl
CoRR
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer
2018 ch.
Handbook of Model Checking
David A. Basin, Cas Cremers, Catherine Meadows
2018 conf
STM
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer
2017 conf
Concurrency, Security, and Puzzles
Olga Chen, Catherine Meadows, Gautam Trivedi
2017 J jnl
IACR Cryptol. ePrint Arch.
Catherine Meadows
2016 ed.
ESORICS (1)
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows
2016 ed.
ESORICS (2)
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows
2016 J jnl
CoRR
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2016 C conf
PPDP
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2015 conf
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2015 conf
Logic, Rewriting, and Concurrency
Catherine Meadows
2015 J jnl
Log. Methods Comput. Sci.
Andrew M. Marshall, Catherine Meadows, Paliath Narendran
2015 conf
Programming Languages with Applications to Biology and Security
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 conf
STM
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 conf
HotSoS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 conf
SSR
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
2014 conf
UNIF
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014 B conf
FoSSaCS
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014 J jnl
Inf. Comput.
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2014 C conf
PPDP
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran
2013 A conf
CADE
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 Misc conf
ICDCIT
Dusko Pavlovic, Catherine Meadows
2012 B conf
MFPS
Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2012 A conf
ESORICS
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012 conf
STM
Catherine Meadows, Dusko Pavlovic
2012 ed.
STM
Catherine Meadows, M. Carmen Fernández Gago
2012 J jnl
J. Autom. Reason.
Hubert Comon-Lundh, Catherine Meadows
2011 J jnl
CoRR
Dusko Pavlovic, Catherine Meadows
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 conf
UNIF
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 C conf
PPDP
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011 J jnl
Dagstuhl Reports
Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows
2011 J jnl
CoRR
Santiago Escobar, Catherine Meadows, José Meseguer
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2011 ch.
Encyclopedia of Cryptography and Security (2nd Ed.)
Catherine Meadows
2010 B conf
MFPS
Dusko Pavlovic, Catherine Meadows
2010 conf
STM
Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
2010 conf
ARSPA-WITS
Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala
2010 A conf
ESORICS
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago
2009 conf
PROLE
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer
2009 conf
Security Protocols Workshop
Catherine Meadows
2009 conf
Security Protocols Workshop
Dusko Pavlovic, Catherine Meadows
2009 J jnl
ACM Trans. Inf. Syst. Secur.
Catherine Meadows
2009 J jnl
CoRR
Dusko Pavlovic, Catherine Meadows
2008 A conf
ESORICS
Santiago Escobar, Catherine Meadows, José Meseguer
2007 ch.
Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks
Catherine Meadows, Radha Poovendran, Dusko Pavlovic, Liwu Chang, Paul F. Syverson
2007 conf
FOSAD
Santiago Escobar, Catherine Meadows, José Meseguer
2007 J jnl
IEEE Trans. Dependable Secur. Comput.
Iliano Cervesato, Catherine Meadows
2007 ed.
ESAS
Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore
2006 J jnl
Theor. Comput. Sci.
Santiago Escobar, Catherine Meadows, José Meseguer
2006 A conf
ESORICS
Dusko Pavlovic, Catherine Meadows
2006 conf
SecReT@ICALP
Santiago Escobar, Catherine Meadows, José Meseguer
2006 C conf
SecureComm
Catherine Meadows, Paul F. Syverson, Liwu Chang
2005 conf
FMSE
Santiago Escobar, Catherine Meadows, José Meseguer
2005 conf
CSFW
Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
2005 B conf
WCNC
Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, Liwu Chang
2005 A* ed.
CCS
Vijay Atluri, Catherine Meadows, Ari Juels
2005 ed.
WITS
Catherine Meadows
2004 A conf
ESORICS
Catherine Meadows, Dusko Pavlovic
2004 J jnl
J. Comput. Secur.
Catherine Meadows, Paul F. Syverson, Iliano Cervesato
2004 conf
ARSPA@IJCAR
Christopher Lynch, Catherine Meadows
2004 J jnl
Sci. Comput. Program.
Catherine Meadows
2004 C conf
ICICS
Christopher Lynch, Catherine Meadows
2003 conf
CSFW
Catherine Meadows
2003 J jnl
IEEE J. Sel. Areas Commun.
Catherine Meadows
2003 conf
FMSE
Michael Backes, Catherine Meadows, John C. Mitchell
2003 A conf
ESOP
Catherine Meadows
2002 conf
ISSS
Ran Canetti, Catherine Meadows, Paul F. Syverson
2002 C conf
PADL
Catherine Meadows
2001 J jnl
J. Comput. Secur.
Catherine Meadows
2001 conf
VIS
Catherine Meadows
2001 A* conf
CCS
Catherine Meadows, Paul F. Syverson
2001 conf
MMM-ACNS
Catherine Meadows
2000 conf
CSFW
Catherine Meadows
2000 A* conf
CAV
Catherine Meadows
1999 conf
CSFW
Catherine Meadows
1999 conf
S&P
Catherine Meadows
1999 J jnl
IEEE Trans. Software Eng.
Catherine Meadows, William H. Sanders
1999 B conf
MFPS
Catherine Meadows, Dennis M. Volpano
1998 conf
Financial Cryptography
Catherine Meadows, Paul F. Syverson
1998 A ed.
ESORICS
Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann
1998 conf
CSFW
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1997 conf
CSFW
Catherine Meadows
1997 C conf
NSPW
Catherine Meadows
1996 J jnl
Des. Codes Cryptogr.
Paul F. Syverson, Catherine Meadows
1996 conf
Network Threats
Catherine Meadows
1996 conf
Information Hiding
Catherine Meadows, Ira S. Moskowitz
1996 J jnl
IEEE Trans. Software Eng.
Catherine Meadows
1996 conf
CSFW
Catherine Meadows
1996 J jnl
J. Log. Program.
Catherine Meadows
1995 C conf
NSPW
Catherine Meadows
1995 C ed.
NSPW
Hilary H. Hosmer, John E. Dobson, Catherine Meadows
1995 J jnl
J. Comput. Secur.
Gustavus J. Simmons, Catherine Meadows
1994 conf
CSFW
Catherine Meadows
1994 A* conf
EUROCRYPT
Paul F. Syverson, Catherine Meadows
1994 J jnl
J. Cryptol.
Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen
1993 conf
S&P
Paul Syverson, Catherine Meadows
1993 C conf
NSPW
Catherine Meadows
1993 C ed.
NSPW
James Bret Michael, Victoria Ashby, Catherine Meadows
1992 J jnl
J. Comput. Secur.
Catherine Meadows
1992 conf
CSFW
Catherine Meadows
1992 conf
S&P
Catherine Meadows
1991 conf
S&P
Catherine Meadows
1991 B conf
DBSec
Catherine Meadows
1991 conf
CSFW
Catherine Meadows
1991 conf
CSFW
Catherine Meadows
1990 B conf
DBSec
Catherine Meadows
1990 conf
S&P
Catherine Meadows
1990 B conf
DBSec
Catherine Meadows
1990 conf
CSFW
Catherine Meadows
1989 B conf
DBSec
Catherine Meadows
1989 conf
S&P
Catherine Meadows
1988 B conf
DBSec
Judith N. Froscher, Catherine Meadows
1987 B conf
DBSec
Catherine Meadows, Sushil Jajodia
1987 J jnl
IEEE Trans. Software Eng.
Catherine Meadows, David Mutchler
1987 conf
S&P
Catherine Meadows
1986 conf
S&P
Catherine Meadows
1985 conf
S&P
G. R. Blakley, Catherine Meadows
1985 A* conf
CRYPTO
G. R. Blakley, Catherine Meadows, George B. Purdy
1984 A* conf
CRYPTO
G. R. Blakley, Catherine Meadows
s3-storage/s3_test.py
← Index s3-storage/s3_test.py python
#!/usr/bin/env python3
"""
Simple script to test S3 connectivity and download.
Usage: python s3_test.py
"""

import os
import time
import tempfile
from minio import Minio
from minio.error import S3Error
from dotenv import load_dotenv

# Load environment variables
load_dotenv()

def get_minio_client():
    """Create and return a Minio client using credentials from .env file"""
    endpoint = os.getenv("S3_ENDPOINT")
    access_key = os.getenv("S3_ACCESS_KEY")
    secret_key = os.getenv("S3_SECRET_KEY")
    secure = True 
    
    print(f"Connecting to S3 endpoint: {endpoint} (secure={secure})")
    
    return Minio(
        endpoint=endpoint,
        access_key=access_key,
        secret_key=secret_key,
        secure=secure
    )

def test_connection():
    """Test basic connectivity to S3"""
    try:
        client = get_minio_client()
        
        # Try to list buckets as a basic connectivity test
        buckets = client.list_buckets()
        print(f"Successfully connected to S3. Found {len(buckets)} buckets:")
        for bucket in buckets:
            print(f"  - {bucket.name}")
        
        return client
    except Exception as e:
        print(f"Failed to connect to S3: {e}")
        return None

def test_bucket_access(client, bucket_name):
    """Test access to a specific bucket"""
    try:
        exists = client.bucket_exists(bucket_name)
        if exists:
            print(f"Bucket '{bucket_name}' exists and is accessible")
            
            # List a few objects to verify access
            count = 0
            objects = []
            for obj in client.list_objects(bucket_name, recursive=True):
                print(f"  - {obj.object_name} ({obj.size} bytes)")
                objects.append(obj)
                count += 1
                if count >= 5:
                    break
            
            print(f"Found at least {len(objects)} objects in bucket")
            return objects
        else:
            print(f"Bucket '{bucket_name}' does not exist or is not accessible")
            return []
    except Exception as e:
        print(f"Error accessing bucket '{bucket_name}': {e}")
        return []

def test_download(client, bucket_name, object_name):
    """Test downloading a specific object"""
    try:
        print(f"Attempting to download: {object_name}")
        start_time = time.time()
        
        # Create a temporary file to store the downloaded object
        with tempfile.NamedTemporaryFile(delete=False) as temp_file:
            temp_path = temp_file.name
        
        # Download the object
        client.fget_object(bucket_name, object_name, temp_path)
        
        # Check if the file was downloaded successfully
        file_size = os.path.getsize(temp_path)
        elapsed_time = time.time() - start_time
        
        print(f"Download successful: {file_size} bytes in {elapsed_time:.2f} seconds")
        print(f"Average download speed: {file_size/elapsed_time/1024:.2f} KB/s")
        
        # Clean up
        os.unlink(temp_path)
        return True
    except S3Error as e:
        print(f"S3 Error during download: {e}")
        return False
    except Exception as e:
        print(f"Error downloading object: {e}")
        return False

def main():
    """Main function to run all tests"""
    print("=== S3 Connectivity Test ===")
    
    # Test basic connectivity
    client = test_connection()
    if not client:
        return
    
    # Get bucket name from environment variable
    bucket_name = "redb"
    print(f"\n=== Testing Access to Bucket: {bucket_name} ===")
    objects = test_bucket_access(client, bucket_name)
    
    if objects:
        # Test downloading the first object
        first_object = objects[0].object_name
        print(f"\n=== Testing Download of Object: {first_object} ===")
        test_download(client, bucket_name, first_object)
        
        # If the first one worked, let's try a specific file from the error log
        print(f"\n=== Testing Download of Specific Object ===")
        specific_object = "00/06/00062073114defac39cb7ab9cb99a0b77c535a09a241c60d47ddd0b6431629f1.zip"
        test_download(client, bucket_name, specific_object)

if __name__ == "__main__":
    main()