La solución más limpia es usar `fgets`, `fgets` permite almacenar en un buffer lo que escribimos en `stdin`, solo tienes que comprobar que el primer carácter sea `a`, `b` o `c` y que el segundo carácter sea un intro (`'\n'`), de esta forma te aseguras de que no ha escrito una parrafada como `"a3214"`:

    #include <stdio.h>
    
    int main(void)
    {
    	char buf[128];
        char option;
    
        printf("Write a single character\n");
    	while (fgets(buf, sizeof buf, stdin)) {
    		option = buf[0];
       		if (option == 'a' || option == 'b' || option == 'c' ) {
    			if (buf[1] == '\n') break;
    		}
            puts("Introduzca un solo carácter: [a b c] seguido de un intro.");
    	}	
        switch(option)
        {
            case 'a': printf("Hello\n");
            break; 
            case 'b': printf("How are you\n");
            break;
            case 'c': printf("Bye\n");
            break;
        }
        return 0;
    }